[論文レビュー] Combinatorial and hybrid principles for sigma-directed families of countable sets modulo finite

James Hirschorn|ArXiv.org|Jun 26, 2007

Advanced Topology and Set Theory被引用数 3

ひとこと要約

この論文は、連続体仮説（CH）と両立するが、非特殊アロンサージェンツェンツリーの存在を特徴付けるために、ハイブリッドな組合せ的原理——特に $(\mathbb{E}_s)$ 原理——を導入する。$(\mathbb{E}_s)$ が成り立つと、すべてのアロンサージェンツェンツリーが $(\mathrm{NS}^+, \mathrm{NS}^*)$-特殊であることが示され、アブーラハムとヒルシューンの結果を一般化する。これは、$(H_{\aleph_2}, \in, \mathrm{NS})$ 上の $\Pi_2$ 文の満たされるモデルを構成するための、強力で組合せ的なフォースィング公理の代替手段を提供する。この枠組みは、ゲーム理論的定式化とフォースィングに類似した性質を統合し、反復フォースィングへの依存を最小限に抑えた、高レベルで抽象的な一貫性結果の導出法を提供する。

ABSTRACT

We consider strong combinatorial principles for sigma-directed families of countable sets in the ordering by inclusion modulo finite, e.g. P-ideals of countable sets. We try for principles as strong as possible while remaining compatible with CH, and we also consider principles compatible with the existence of nonspecial Aronszajn trees. The main thrust is towards abstract principles with game theoretic formulations. Some of these principles are purely combinatorial, while the ultimate principles are primarily combinatorial but also have aspects of forcing axioms.

研究の動機と目的

• 連続体仮説（CH）と両立するが、$(H_{\aleph_2}, \in, \mathrm{NS})$ 上の多数の $\Pi_2$ 文を含む強力な組合せ的原理の開発。
• CH を保ちながら $\Pi_2$ 文を満たすモデルを構成するための、内部的または外部的フォースィングの代替手段としての高レベルで抽象的な手法の提供。
• $\sigma$-有向族（有限で modulo）の文脈において、ゲーム理論的定式化とフォースィングに類似した性質を統合すること。
• アブーラハムとヒルシューンの結果を一般化すること：CH の下で、非特殊アロンサージェンツェンツリーが存在しうる一方で、すべてのアロンサージェンツェンツリーが $(\mathrm{NS}^+, \mathrm{NS}^*)$-特殊であることが可能である。

提案手法

• $(\mathbb{E}_s)$ 原理を提唱し、$\mathrm{NS}^+$（$\omega_1$ 上の正のイデアル）における極大反鎖集合の観点から定式化されたハイブリッドな組合せ的原理。
• 木の直前集合と直交する可算部分集合の族 $\mathcal{I}_T$ を用いて、木の構造と埋め込み可能性を分析。
• $\sigma$-有向族とイデアルの間の相互作用をモデル化するためのゲーム理論的定式化を適用し、特に「有限で modulo」の $\sigma$-有向性に注目。
• $\mathcal{I}_T$ の局所的可算性と $\sigma$-有向性を用いて、$\mathcal{I}_T$ と直交する部分集合が、有限個の鎖の和集合または特殊部分木であることを保証。
• 局所的 $\mathcal{I}_T$ への属する性質と、可算個の反鎖の和集合であることに等価であることを用いて、部分木の特殊性を特徴付ける。
• 補題3（無限反鎖が存在しない場合に有限個の鎖の和集合である）と系4を適用し、$\mathcal{I}_T$ と直交する集合が有限個の鎖の和集合であることを示し、特殊部分木の構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 強力な組合せ的原理を、CH と両立させつつ、$(H_{\aleph_2}, \in, \mathrm{NS})$ 上の $\Pi_2$ 文を含む形で定式化できるか？
• RQ2 反復フォースィングの複雑さを避けるために、ゲーム理論的定式化とフォースィングに類似した性質を統合する原理は存在するか？
• RQ3 $(\mathbb{E}_s)$ 原理は、CH の下で、すべてのアロンサージェンツェンツリーが $(\mathrm{NS}^+, \mathrm{NS}^*)$-特殊であることを示唆するか？
• RQ4 フォースィングを用いず、組合せ的原理によって、非特殊アロンサージェンツェンツリーの存在と、すべてのアロンサージェンツェンツリーが $(\mathrm{NS}^+, \mathrm{NS}^*)$-特殊であるという性質の両立が可能か？
• RQ5 アロンサージェンツェンツリー $T$ の $\mathcal{I}_T$ の構造は、その部分木の特殊性とどのように関係するか？

主な発見

• $(\mathbb{E}_s)$ 原理は、すべてのアロンサージェンツェンツリーが $(\mathrm{NS}^+, \mathrm{NS}^*)$-特殊であることを示し、アブーラハム＝ヒルシューンの結果を一般化する。
• 任意のアロンサージェンツェンツリー $T$ に対して、関連する族 $\mathcal{I}_T$ は「有限で modulo」の $\sigma$-有向性を持つ。これにより、$T$ の構造は $P$-イデアル技法による解析に適している。
• もし $X \subseteq \theta$ が $\mathcal{I}_T$ と直交するならば、$X$ は有限個の鎖の和集合である。これは、$T\restriction X$ が特殊であることを意味する。
• 各 $S \in \mathcal{A}$ に対して、$C_S = \bigcap_{n<\omega} C_{S,n}$ は $S$ において相対的に閉じており、$T\restriction C_S$ は特殊である。
• この構成により、各 $S \in \mathcal{A}$ に対して $T\restriction C_S$ が特殊であることが保証され、結果として $T$ が $(\mathrm{NS}^+, \mathrm{NS}^*)$-特殊であることが示される。
• この枠組みは、反復フォースィングや $\mathbb{P}_{\mathrm{max}}$ などの複雑なフォースィング構成を必要とする一貫性結果について、純粋な組合せ的証明を提供する。