[論文レビュー] 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$ の組合せ的対象を加えるために、既存の強制構成よりも効率的な代替手段の提供。
• 3つの既知の結果を統一的かつ簡潔に証明する：$\omega_2$ にクラブを加えること、$(\omega_1^{\omega_1}, <_{\rm fin})$ 内に長い鎖を構成すること、および細い非常に高い超原子的ブール代数を構築すること。
• この方法の広範な適用可能性を示すために、これら3つの結果を一様で体系的な枠組みで証明すること。

提案手法

• 強制 $\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$-サイズの初等部分構造の集合である。
• 順序は逆包含によって定義され、より強い条件はより多くのモデルを含む。
• 2種類の構造を用いる：可算モデルと $\aleph_1$-サイズの内部的アプローチ可能なモデルで、これらのモデルにおける交わりや制限を特別に取り扱う。
• 強制条件は $\pi_0(p)$（可算モデル）と $\pi_1(p)$（$\aleph_1$-サイズのモデル）に分割され、モデルへの制限は強制構造を保つ。
• 主な技術的革新は、$p^M$、つまり条件 $p$ のモデル $M$ における最小の拡張を用いることで、汎用性と適切性を保証することにある。
• この方法では、$\mathcal{E}_1^2$-適切性を証明するために、$p^M$ が $(M^*, \mathbb{M}_4)$-汎用的であるように構成することで、$\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$-鎖が存在する可能性の、新たな簡潔な証明を提供する。
• この方法により、$\omega_2$ にクラブを加える強制概念が得られ、有限条件のみを用い、$\aleph_1$ と $\aleph_2$ を保存する。これは従来の複雑な構成を改善する。
• この方法は、バウムガルトナーとシェラフによって最初に示された、細い非常に高い超原子的ブール代数の存在の新たな証明を提供する。
• $\mathbb{M}_4$ は $\Omega(\omega_2)$-poset を加え、これは長い鎖や他の組合せ的対象の存在を支持する構造である。