[论文解读] Universal Indestructibility

Arthur W. Apter, Joel David Hamkins|ArXiv.org|Aug 3, 1998

Advanced Topology and Set TheoryMathematics参考文献 4被引用 21

一句话总结

该论文在存在高跳基数的前提下，构建了一个集合论宇宙模型，其中每个超紧致基数和部分超紧致基数在<κ-定向闭合力迫下均完全不可破坏。该构造采用了一种改进的力迫迭代方法，避免了拉弗准备中固有的间隙，从而克服了先前方法的局限性，实现了此前不可能实现的普遍不可破坏性。

ABSTRACT

From a suitable large cardinal hypothesis, we provide a model with a supercompact cardinal in which universal indestructibility holds: every supercompact and partially supercompact cardinal kappa is fully indestructible by kappa-directed closed forcing. Such a state of affairs is impossible with two supercompact cardinals or even with a cardinal which is supercompact beyond a measurable cardinal.

研究动机与目标

• 为克服拉弗准备的局限性，后者无法确保部分超紧致基数的不可破坏性。
• 构造一个模型，使得所有超紧致基数和部分超紧致基数在<κ-定向闭合力迫下均完全不可破坏。
• 证明普遍不可破坏性相对于高跳基数是一致的，高跳基数是介于超紧致与几乎巨大基数之间的一类大基数，其一致性强度适中。
• 表明标准的拉弗准备无法实现普遍不可破坏性，因其具有间隙结构，限制了非超紧致超紧致性的保持。
• 提出一种新的力迫迭代策略，避免在可度量基数以下出现间隙，从而确保不可破坏性在后续阶段得以保持。

提出的方法

• 使用反向Easton迭代，其中在每个阶段γ，基于一个拉弗函数选择一个<γ-定向闭合偏序集，仅当该偏序集在V_γ中可定义时才施加力迫。
• 该迭代设计使得在任何可度量基数γ以下的任何力迫阶段均不引入间隙，从而防止应用间隙力迫定理。
• 该构造确保在力迫之后，任意可度量基数γ保持不可破坏性当且仅当其在原模型中是超紧致的，从而保持所有超紧致基数的不可破坏性。
• 采用试炼式论证表明，若基数γ在原模型中不是超紧致的，则其超紧致性无法通过迭代过程保持。
• 证明使用了带有嵌入j: V → M的提升论证，其中M对<θ序列封闭，以表明若ℚ破坏了λ-超紧致性，则在提升模型中会产生矛盾。
• 在j(g)之下构造一个主条件，以将嵌入通过力迫扩张提升，表明该测度无法在后续阶段被添加，从而与假设ℚ破坏超紧致性相矛盾。

实验结果

研究问题

• RQ1 是否可以在一个模型中实现超紧致基数的普遍不可破坏性，使得即使部分超紧致基数在<κ-定向闭合力迫下也完全不可破坏？
• RQ2 是否可能在不依赖拉弗准备的前提下构造此类模型，因为拉弗准备无法保持非超紧致部分超紧致基数的不可破坏性？
• RQ3 何种大基数假设足以确保所有超紧致基数和部分超紧致基数的普遍不可破坏性？
• RQ4 是否可以在力迫迭代中绕过间隙力迫定理，以保持非超紧致基数的不可破坏性？
• RQ5 普遍不可破坏性是否与单个超紧致基数一致，还是需要多个超紧致基数或更强的假设？

主要发现

• 普遍不可破坏性——即每个超紧致基数和部分超紧致基数在<κ-定向闭合力迫下均完全不可破坏——可在仅含一个超紧致基数的模型中实现。
• 高跳基数的存在足以构造此类模型，从而确立了普遍不可破坏性相对于该大基数假说的一致性。
• 拉弗准备无法实现普遍不可破坏性，因为它在可度量基数以下引入了间隙，而根据间隙力迫定理，这会阻止超紧致度的提升。
• 任何在γ以下引入间隙的力迫均无法提升γ的超紧致度、强紧致度或强性，这限制了此类模型中普遍不可破坏性的可能性。
• 本文构造了一种新的力迫迭代，避免在可度量基数以下出现间隙，从而确保所有超紧致性性质在整个迭代过程中得以保持。
• 关键矛盾出现在假设某力迫破坏了λ-超紧致性时：提升后的嵌入表明该测度必须更早存在，与假设其被破坏相矛盾。