[论文解读] Proper forcing remastered

Boban Veličković, Giorgio Venturi|arXiv (Cornell University)|Oct 4, 2011

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

一句话总结

本文提出了一种广义的侧条件力迫方法，结合可数与 $\omega_1$-大小的内部可逼近模型，以确保力迫的正则性，同时保持 $\aleph_1$ 和 $\aleph_2$。该方法被用于构造一种力迫公理，可添加 $\omega_2$ 中的一个俱乐部集，使用有限条件；构造 $(\omega_1^{\omega_1}, <_{\rm fin})$ 中的长链；并构造一个细长的超原子布尔代数，展示了其在先前证明之外的高效性与广泛适用性。

ABSTRACT

In these notes we present the method introduced by Neeman of generalized side conditions with two types of models. We then discuss some applications: the Friedman-Mitchell poset for adding a club in ω_2 with finite conditions, Koszmider's forcing construction of a strong chain of length ω_2 of functions from ω_1 to ω_1, and the Baumgartner-Shelah forcing construction of a thin very tall superatomic Boolean algebra.

研究动机与目标

• 开发一种广义的侧条件力迫方法，通过引入不可数的内部可逼近模型，确保同时保持 $\aleph_1$ 与 $\aleph_2$。
• 为添加大小为 $\aleph_2$ 的组合对象提供比现有方法更高效的力迫构造。
• 统一并简化三个已知结果的证明：在 $\omega_2$ 中添加一个俱乐部集，在 $(\omega_1^{\omega_1}, <_{\rm fin})$ 中构造一个长链，以及构建一个细长的超原子布尔代数。
• 通过在统一、系统的框架下证明这些结果，展示该方法的更广泛应用潜力。

提出的方法

• 力迫 $\mathbb{M}$ 由 $\mathcal{E}_0^2 \cup \mathcal{E}_1^2$ 中的有限 $\in$-链构成，其中 $\mathcal{E}_0^2$ 是 $H(\aleph_2)$ 的可数初等子模型的集合，$\mathcal{E}_1^2$ 是 $H(\aleph_2)$ 的 $\aleph_1$-大小内部可逼近初等子模型的集合。
• 顺序由反向包含定义，确保更强的条件包含更多模型。
• 该方法采用双类型结构：可数模型与 $\aleph_1$-大小的内部可逼近模型，特别关注这些模型的交集与限制。
• 力迫条件被划分为 $\pi_0(p)$（可数模型）与 $\pi_1(p)$（$\aleph_1$-大小模型），对模型的限制保持了力迫结构。
• 关键技术突破在于使用 $p^M$，即条件 $p$ 在模型 $M$ 中的最小扩张，以确保泛性与正则性。
• 通过构造 $p^M$ 使其为 $(M^*, \mathbb{M}_4)$-泛性，该方法证明了 $\mathcal{E}_1^2$-正则性，从而确保 $\aleph_1$ 与 $\aleph_2$ 的保持。

实验结果

研究问题

• RQ1 能否通过引入不可数的内部可逼近模型，使广义的侧条件力迫方法同时保持 $\aleph_1$ 与 $\aleph_2$？
• RQ2 是否存在一种比现有方法更高效的力迫构造，用于在 $\omega_2$ 中添加一个俱乐部集（使用有限条件）？
• RQ3 该方法能否统一证明 $(\omega_1^{\omega_1}, <_{\rm fin})$ 中存在一个长 $\omega_2$-链？
• RQ4 该方法能否为细长的超原子布尔代数的存在性提供新的证明？
• RQ5 该方法是否可推广至涉及 $\aleph_2$-大小组合对象的其他力迫构造？

主要发现

• 力迫 $\mathbb{M}_4$ 是 $\mathcal{E}_1^2$-正则的，确保其保持 $\aleph_1$ 与 $\aleph_2$。
• 该方法为 $(\omega_1^{\omega_1}, <_{\rm fin})$ 中存在 $\omega_2$-长链提供了新的、简化的证明，该结果最初由 Koszmider 证明。
• 该方法产生了一种仅使用有限条件即可在 $\omega_2$ 中添加俱乐部集的力迫公理，同时保持 $\aleph_1$ 与 $\aleph_2$，优于早期复杂的构造。
• 该方法为细长的超原子布尔代数的存在性提供了新的证明，该结果最初由 Baumgartner 与 Shelah 证明。
• 力迫 $\mathbb{M}_4$ 添加了一个 $\Omega(\omega_2)$-偏序集，该结构支持长链及其他组合对象的存在。