强制集合论公理的不可破坏性
摘要：关于保持集合论公理在强制下的各种定理被证明，涉及到强制公理和在Levy-Collapse中真实的公理。特别是，这些定理表明，某些强制公理的应用要求在集合论层次结构的较高位置添加通用的可数序列，甚至在将一切都折叠到$ aleph_1$之前。后来，我们给出了应用，其中包括$ aleph_omega$不是Jonsson的${m MM}$的一致性，这回答了Oberwolfach 2005年提出的一个问题。
作者：Bernhard Koenig (ELM)
论文ID：math/0605129
分类：Logic
分类简称：math.LO
提交时间：2007-05-23