[论文解读] Some results on large cardinals and the continuum function

Brent Cody|arXiv (Cornell University)|Sep 5, 2012

Advanced Topology and Set Theory参考文献 19被引用 6

一句话总结

该论文建立了保持伍丁基数的力迫扩张，同时在低于一个伍丁基数的正则基数上实现任意连续统函数行为，使用的是易斯顿函数。此外，还证明了在超紧致基数上力迫失败GCH需要超越原始基数的大基数强度，证明了在λ-超紧致性下GCH失败与λ-超紧致性及λ++-高大的性质之间的等价一致性。

ABSTRACT

Given a Woodin cardinal $δ$, I show that if $F$ is any Easton function with $F"δ\subseteqδ$ and $\GCH$ holds, then there is a cofinality-preserving forcing extension in which $2^γ= F(γ)$ for each regular cardinal $γ

研究动机与目标

• 将列文斯基对可测基数的结果推广到更广泛的大基数背景，包括伍丁基数和部分超紧致基数。
• 研究在保持大基数性质的同时，对正则基数上的连续统函数实现特定行为所需的一致性强度。
• 确定在保持大基数性质的同时，力迫GCH失败是否需要超越原始基数的大基数强度。
• 将易斯顿定理推广，以在低于一个伍丁基数的正则基数上实现任意连续统函数行为的同时保持大基数性质。
• 探索力迫、连续统函数与强大力基数性质（如超紧致性和高大性）之间相互作用。

提出的方法

• 使用保持余数的力迫扩张，以控制低于伍丁基数δ的连续统函数。
• 应用易斯顿函数F，使得对所有正则γ < δ，有F(γ) = 2^γ，且F"δ ⊆ δ。
• 采用在调整每个正则γ < δ的2^γ的同时，保持δ的伍丁性质的力迫技术。
• 通过构造一个力迫扩张，其中κ是λ-超紧致且λ++-高大的，假设在λ处GCH失败，从而引入一个新的等价一致性结果。
• 改编并推广列文斯基对可测基数的方法，以适用于其他大基数概念，包括伍丁基数和部分超紧致基数。
• 利用力迫、大基数嵌入和幂集函数结构之间的相互作用，以维持所需的大基数性质。

实验结果

研究问题

• RQ1 是否可以在保持伍丁性质的同时，对低于伍丁基数的正则基数上的连续统函数强制实现任意值？
• RQ2 在保持其超紧致性的同时，强制在超紧致基数上GCH失败所需的一致性强度是什么？
• RQ3 列文斯基关于可测基数的结果在多大程度上可以推广到其他大基数概念？
• RQ4 是否存在一个大基数概念，能够刻画在保持超紧致性的同时，强制在正则基数上GCH失败的一致性强度？
• RQ5 在保持给定大基数性质的同时，实现在正则基数上给定连续统函数行为所需的最小大基数假设是什么？

主要发现

• 对于任意伍丁基数δ和满足F"δ ⊆ δ的易斯顿函数F，存在一个余数保持的力迫扩张，使得对所有正则γ < δ，有2^γ = F(γ)，且δ保持为伍丁基数。
• 存在一个λ-超紧致基数κ，使得在λ处GCH失败，这与存在一个κ，其为λ-超紧致且λ++-高大的，是等价一致的。
• 列文斯基关于可测基数的结果可推广至伍丁基数和其他大基数背景，表明κ可以是GCH成立的最小正则基数，同时保持其大基数性质。
• 在低于大基数的正则基数上强制特定的连续统函数行为，可能需要超越原始基数的大基数强度，如在超紧致情形所展示的。
• 该论文构造了一个力迫扩张，实现在伍丁基数δ以下的任意易斯顿函数F，同时保持δ的伍丁性质，确认了此类力迫技术的稳健性。
• 结果表明，力迫与大基数之间的相互作用比以往理解的更为复杂，特别是在控制连续统函数的背景下。