关于任意集和ZFC
有人认为,任意集理论在这方面相当贫乏,选择公理作为最核心和最自然的集理论原则而引人注目。 奇异基数与PCF理论
§1.引言。在过去的25年里,集合论最显著的发现之一是奇异基数运算的丰富结构,以及它与大…
确定性公理和大基数
内部模型的研究是由G模型对可构造宇宙的分析发起的。后来,对具有大基数(如可测基数、强基数)的规范化内部模型进行了研究…
类公羊红衣主教II
证明了对于α≤ω1,α-可迭代基数形成了严格的层次结构,对于α≤Ω1,它们对L是向下绝对的,Schindler显著基数的一致性强度严格地介于1-可迭代基数和2-可迭代基数之间。 全球广场与全球互稳
我们证明了Jensen和Zeman关于核心模型中Mitchell阶(oM(κ))的可测基数κ等于κ以下的整体序列的存在性定理,并用它证明了…
全球平方和n的相互平稳性
我们给出了Jensen和Zeman关于核心模型中全局存在性的一个定理的证明,该定理在Mitchell阶的可测基数κ(“oM(κ)”)等于κ之下,并用它证明了以下几点…
不同的可迭代分支
内模理论的基本问题是如何构建满足比“Woodin基数存在Woodin极限”强得多的假设的小鼠,而Kc结构作为一个结构家族,应该在V的适当假设下生成这样的小鼠。