[论文解读] A Generalization of Martin's Axiom

David Asperó, Miguel Ángel Mota|arXiv (Cornell University)|Jun 28, 2012

Advanced Algebra and Logic被引用 1

一句话总结

本文引入了 ℵ1.5–链条件，作为可数链条件的推广，并定义了一个相应的力迫公理 MA1.5<κ，该公理严格强于 Martin 的公理 MAλ（当 λ ≥ ℵ1 时）。在 CH 及额外假设（例如 ♦({α < κ : cf(α) ≥ ω1}）下，本文构造了一个大小为 κ 的正规 ℵ2–c.c. 力迫，该力迫迫使 2ℵ₀ = κ 且满足 MA1.5<κ，从而确立了该新公理及其在 ω₁ 上均匀俱乐部猜测失败方面的一致性和影响。

ABSTRACT

We define the $\aleph_{1.5}$ chain condition. The corresponding forcing axiom is a generalization of Martin's Axiom and implies certain uniform failures of club--guessing on $\omega_1$ that don't seem to have been considered in the literature before.

研究动机与目标

• 通过引入满足 ℵ1.5–链条件的新一类力迫偏序集，推广 Martin 的公理。
• 定义并研究力迫公理 MA1.5<κ，该公理扩展了 λ ≥ ℵ1 时的 MAλ。
• 在连续统假设及额外组合假设下，确立 MA1.5<κ 与 2ℵ₀ = κ 一致。
• 证明 MA1.5<κ 蕴含了仅由 MAλ 无法导出的 ω₁ 上的均匀俱乐部猜测失败。

提出的方法

• 将 ℵ1.5–链条件定义为通过 H(λ) 的可数初等子结构的俱乐部集（λ 为正则且满足 λ ≥ |TC(P)|⁺）对 c.c.c. 的强化。
• 使用基于可数初等子模型和对称系统的侧条件力迫迭代，构造所需的偏序集。
• 在 {α < κ : cf(α) ≥ ω₁} 上使用 ♦-序列对名字进行编码，以确保迭代各阶段的泛化性。
• 通过将条件反射到 Q-模型并利用条件的合并技术，实现对迭代过程中 ℵ1.5–c.c. 的保持。
• 利用力迫偏序集的 ℵ2–c.c. 性质，确保反链保持较小，并能通过名字构建泛化滤子。
• 通过名字编码、俱乐部反射及条件的合并技术，验证最终力迫 Pκ 同时迫使 MA1.5<κ 和 2ℵ₀ = κ。

实验结果

研究问题

• RQ1 能否将 Martin 的公理推广为一个严格强于 λ ≥ ℵ1 时 MAλ 的力迫公理，同时保持与 2ℵ₀ > ℵ₁ 的一致性？
• RQ2 允许此类推广并确保结果力迫公理一致性的精确组合条件（即 ℵ1.5–c.c.）是什么？
• RQ3 MA1.5<κ 是否蕴含了仅由 MAλ 无法导出的 ω₁ 上新的俱乐部猜测失败？
• RQ4 在 CH 及额外集合论假设下，MA1.5<κ 能否与 2ℵ₀ = κ 一致地被强迫成立？
• RQ5 是否存在一种力迫构造，能通过大小为 κ 的正规 ℵ2–c.c. 偏序集实现 MA1.5<κ 和 2ℵ₀ = κ？

主要发现

• ℵ1.5–c.c. 是 c.c.c. 的适当强化，且蕴含 ℵ2–c.c.，从而确保避免大小为 ℵ2 的反链。
• 对于所有 λ ≥ ℵ1，MA1.5<κ 严格强于 MAλ，因为它蕴含了仅由 MAλ 无法导出的 ω₁ 上的均匀俱乐部猜测失败。
• 在 CH 及假设 ♦({α < κ : cf(α) ≥ ω₁}) 成立（κ 为正则且满足 µℵ₀ < κ 对所有 µ < κ 成立）下，存在一个大小为 κ 的正规 ℵ2–c.c. 偏序集，迫使 MA1.5<κ。
• 本文构造的力迫 Pκ 满足 Pκ ⊩ 2ℵ₀ = κ 且 Pκ ⊩ MA1.5<κ，从而确立了新公理的一致性。
• 该构造使用 ♦-序列对名字进行编码，并通过 Q-模型中的反射与条件合并技术，确保泛化性在迭代过程中得以保持。
• 证明依赖于对条件反射到 Q-模型的创新应用，以及通过同构和各阶段间名字传递技术，保持 ℵ1.5–c.c. 在迭代过程中的不变性。