不变理想公理
Invariant Ideal Axiom
摘要：
我们引入并证明了一个新的集合论公理的一致性，我们称之为\emph{Invariant Ideal Axiom}。公理使我们能够提供（一贯）可数序列群的完整拓扑分类，以及充分表征其有限产品的行为。我们还构造了一些例子，证明了\IIA中条件的最优性，并列出了一些悬而未决的问题。
英文摘要：
We introduce and prove the consistency of a new set theoretic axiom we call the \emph{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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
