Invariant Ideal Axiom
Abstract
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 , and list a number of open questions.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.