[论文解读] Consistency Strengths of Modified Maximality Principles

George Leibman|ArXiv.org|Jun 3, 2004

Logic, Reasoning, and Knowledge参考文献 9被引用 13

一句话总结

本文研究了限制在特定迫零类（如ccc、Cohen及≤κ-策略闭迫零）上的修改版最大性原理（MPΓ）的一致性强度，采用迭代迫零与模态逻辑方法。研究结果表明，诸如MP≤κ-strat-cl(H(κ⁺⁺))等原理需要大基数假定——具体而言，即一个在≤κ-策略闭迫零下不可破坏的强基数——证明这些原理具有一致性强度，其强度可与含伍丁基数及投影决定性公理的理论相媲美。

ABSTRACT

The Maximality Principle MP is a scheme which states that if a sentence of the language of ZFC is true in some forcing extension V^P, and remains true in any further forcing extension of V^P, then it is true in all forcing extensions of V. A modified maximality principle MP_Gamma arises when considering forcing with a particular class Gamma of forcing notions. A parametrized form of such a principle, MP_Gamma(X), considers formulas taking parameters; to avoid inconsistency such parameters must be restricted to a specific set X which depends on the forcing class Gamma being considered. A stronger necessary form of such a principle, Box MP_Gamma(X), occurs when it continues to be true in all Gamma forcing extensions. This study uses iterated forcing, modal logic, and other techniques to establish consistency strengths for various modified maximality principles restricted to various forcing classes, including CCC, COHEN, COLL (the forcing notions that collapse ordinals to omega),

研究动机与目标

• 确定限制在特定迫零类（如ccc、Cohen及≤κ-策略闭迫零）上的修改版最大性原理（MPΓ）的一致性强度。
• 分析这些原理的参数化版本MPΓ(X)，其中参数取自与迫零类Γ相关的集合X。
• 研究最大性原理的必要性形式□MPΓ(X)，并探讨其与大基数公理的一致性强度关系。
• 证明在强基数κ在≤κ-策略闭迫零下不可破坏的模型中，MP≤κ-strat-cl(H(κ⁺⁺))成立。
• 探讨初等子模型与迭代迫零在构造满足这些原理的模型中的作用。

提出的方法

• 使用模态逻辑将迫零扩张解释为可能世界，通过迫零关系定义可达性，从而形成S4模态逻辑框架。
• 应用迭代迫零构造，特别是δ-迭代≤κ-策略闭迫零概念，以保持大基数性质。
• 采用可迫零必然命题（◇□φ）的概念，并通过方案◇□φ → □φ将其与最大性原理联系起来。
• 运用初等子模型技术，如Vδ ≺ V与Vδ[G] ≺ V[G]，以在迫零扩张中保持反射性与闭包性质。
• 应用彩券准备技术，实现强基数在特定迫零类下的不可破坏性。
• 通过确保所有可迫零必然命题均为必然命题，构造满足MPΓ(X)的通用扩张，利用δ-ccc性质以保持基数与共尾性。

实验结果

研究问题

• RQ1 MPccc(R)，即限制在ccc迫零且参数为实数的最大性原理，其一致性强度为何？
• RQ2 必要性形式□MPccc(R)如何影响宇宙的结构，特别是对ω₁对实数不可及性的影响？
• RQ3 在强基数κ在≤κ-策略闭迫零下不可破坏的模型中，MP≤κ-strat-cl(H(κ⁺⁺))成立所需的大型基数假定为何？
• RQ4 对于可能塌陷序数或保持特定基数结构的迫零类Γ，最大性原理MPΓ(X)能否一致满足？
• RQ5 MP≤κ-strat-cl(H(κ⁺⁺))的一致性强度与存在满足Vδ ≺ V且δ为不可达的强基数κ之间有何关系？

主要发现

• MPccc(R)在存在ω₁对实数不可及的ZFC模型中是一致的，且□MPccc(R)蕴含ω₁对实数不可及。
• 在存在满足Vδ ≺ V、δ不可达且κ < δ的模型中，若强基数κ在≤κ-策略闭迫零下不可破坏，则MP≤κ-strat-cl(H(κ⁺⁺))在该模型中成立。
• MP≤κ-strat-cl(H(κ⁺⁺))的一致性强度上界为存在满足Vδ ≺ V且δ不可达的强基数，下界为存在满足Vδ ≺ V且δ不可达的强基数，且其上方存在一个马赫罗基数。
• 用于构造满足MP≤κ-strat-cl(H(κ⁺⁺))的模型的迫零迭代为δ-ccc，保持δ不变，并确保在最终扩张中δ成为κ⁺⁺。
• 该构造表明，可在强基数已对相关迫零类不可破坏的模型的通用扩张中，强制使MP≤κ-strat-cl(H(κ⁺⁺))成立。
• 本文猜想，当强基数不可破坏时，MP≤κ-strat-cl(H(κ⁺⁺))的一致性强度等价于ZFC + 'κ为强基数' + Vδ ≺ V + 'δ不可达' + κ < δ的理论。