Invariant Ideal Axiom

Por • 9 abr, 2022 • Sección: Crítica

Michael Hrušák, Alexander Shibakov

We introduce and prove the consistency of a new set theoretic axiom we call the Invariant Ideal Axiom. The axiom enables us to provide (consistently) a full topological classification of countable sequential groups, as well as fully characterize the behavior of their finite products.We also construct examples that demonstrate the optimality of the conditions in IIA, and list a number of open questions.

arXiv:2204.03079v1 [math.GN]

General Topology (math.GN); Logic (math.LO)

Post to Twitter

Escribe un comentario