论文标题
不变理想公理
Invariant Ideal Axiom
论文作者
论文摘要
我们介绍并证明了一个新集理论公理的一致性,我们称为\ emph {不变的理想公理}。公理使我们能够(一致地)对可数的顺序组进行完整的拓扑分类,并充分表征其有限产物的行为。 我们还构建了示例,这些示例证明了\ 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.