内部模型和大型基数

@文章{Jensen1995InnerMA,title={内部模型和大基数},author={Ronald B.Jensen},journal={符号逻辑公报},年份={1995},体积={1},页数={393-407},网址={https://api.semanticscholar.org/CorpusID:15714648}}
概述了现代集合论的两个重要主题的发展,这两个主题都可以看作是库尔特·哥德尔的作品。

关于任意集和ZFC

有人认为,任意集理论在这方面相当贫乏,选择公理作为最核心和最自然的集理论原则而引人注目。

奇异基数与PCF理论

§1.引言。在过去的25年里,集合论最显著的发现之一是奇异基数运算的丰富结构,以及它与大

确定性公理和大基数

内部模型的研究是由G模型对可构造宇宙的分析发起的。后来,对具有大基数(如可测基数、强基数)的规范化内部模型进行了研究

类公羊红衣主教II

证明了对于α≤ω1,α-可迭代基数形成了严格的层次结构,对于α≤Ω1,它们对L是向下绝对的,Schindler显著基数的一致性强度严格地介于1-可迭代基数和2-可迭代基数之间。

通过序数掌握集合:关于可构造公理的一种弱形式

本文首先诊断了ZF C的不足,特别是当涉及到集合的有限算法时。根据我们的诊断,问题在于,在ZF C中

全球广场与全球互稳

我们证明了Jensen和Zeman关于核心模型中Mitchell阶(oM(κ))的可测基数κ等于κ以下的整体序列的存在性定理,并用它证明了

全球平方和n的相互平稳性

我们给出了Jensen和Zeman关于核心模型中全局存在性的一个定理的证明,该定理在Mitchell阶的可测基数κ(“oM(κ)”)等于κ之下,并用它证明了以下几点

不同的可迭代分支

内模理论的基本问题是如何构建满足比“Woodin基数存在Woodin极限”强得多的假设的小鼠,而Kc结构作为一个结构家族,应该在V的适当假设下生成这样的小鼠。
...

迭代树

用于证明[MS]中I1~+1确定性的大基数假设无法得到实质性改进。我们的定理是核心模型理论或大型标准内部模型理论的应用

集合论

介绍了集合论和无限组合数学的基础,然后讨论了简单的一致性证明和定义可定义性。

拥有许多Woodin红雀的内部模型

    J.钢材
    数学
  • 1993