超越$ \underbrace{\tilde{\Sigma}^2_1}_{\text{下划线Sigma 2 1}} $绝对性
摘要：关于不可数传递模型之间关于$Sigma^1\_2$句子的绝对性的Shoenfield定理已经有许多概括。目前已知最强的版本是关于在给定$mathrm{CH}$条件下的$Sigma^2\_1$绝对性。出于研究内部模型和简单组合集合理论的多种原因，关于是否可能存在条件$Sigma^2\_2$绝对性以及如果可能的话，需要什么大基数假设和什么样的句子扮演$mathrm{CH}$的角色，这些是基本问题。本文通过扩展决策假设和绝对性假设之间的联系，研究了$Sigma^2\_2$绝对性的可能性。
作者：W. Hugh Woodin
论文ID：math/0212406
分类：Logic
分类简称：math.LO
提交时间：2007-05-23