[論文レビュー] Kurepa-trees and Namba-forcing

Bernhard Koenig, Yasuo Yoshinobu|arXiv (Cornell University)|May 4, 2006

Advanced Topology and Set Theory参考文献 3被引用数 4

ひとこと要約

本稿では、任意に大きな $λ$ に対する $λ$-閉じたフォーシングが、コンパクトな基数とマーティンの最大（MM）に敏感であることを示す。$λ$-閉じたフォーシングを用いて $λ$-再帰的 $λ$-クレーパー木を構成し、MM がこのような木の存在を防ぐことを示している。主な貢献は、MM の下で再帰的クレーパー木を破壊するためにナンバ・フォーシングが不可欠であることを証明したことであり、集合論的フォーシング公理における $λ$-閉じたと $λ$-有向閉じたフォーシングの間の根本的な隔たりを明らかにしている。

ABSTRACT

We show that compact cardinals and { m MM} are sensitive to $λ$-closed forcings for arbitrarily large $λ$. This is done by adding 'regressive' $λ$-Kurepa-trees in either case. We argue that the destruction of regressive Kurepa-trees with { m MM} requires the use of Namba forcing.

研究の動機と目的

• 任意に大きな $λ$ に対する $λ$-閉じたフォーシングが、コンパクトな基数の性質やMMのようなフォーシング公理に与える影響を調査すること。
• 任意の非可算正則 $λ$ に対して、$λ$-閉じたフォーシングを用いて $λ$-再帰的 $λ$-クレーパー木を構成し、このようなフォーシングが新たな組合せ的構造を導入できることを示すこと。
• MM の下で、非可算正則 $λ$ に対して $ω_1$-再帰的 $λ$-クレーパー木が存在しないことを示し、MM が $λ$-閉じたフォーシングに敏感であることを確立すること。
• MM の断片を破る際のナンバ・フォーシングの役割を明確にし、MM の下で再帰的クレーパー木を破壊するためにそれが不可欠であることを示すこと。
• $λ$-閉じたと $λ$-有向閉じたフォーシングの挙動の違いを対比し、MM や PFA のようなフォーシング公理に与える影響の顕著な隔たりを明らかにすること。

提案手法

• 極限レベルにおける再帰的関数が整合構造を保つことを特徴とする $γ$-再帰的木の概念を導入し、$λ$-再帰的 $λ$-クレーパー木を定義する。
• 任意の非可算正則 $λ$ に対して、$λ$-再帰的 $λ$-クレーパー木を追加する $λ$-閉じたフォーシング $Κ_{\text{reg}}^{\lambda}$ を構成する。
• 再帰的クレーパー木の破壊が、ナンバ・フォーシングの特定の性質に依存することを示す。特に、$ω_1$ の静的部分集合を保存するが被覆性を持たない点が重要である。
• 地面のモデルにおける分岐の静的集合にクラブを射撃するための反復 $× = \text{Nm}*\text{CS}(\dot{E}_{\mathcal{B}})$ を適用し、静的性を保存して MM の適用を可能にする。
• $ω_2$-有向閉じたフォーシング $Χ$ を用いて、一般化拡大における弱い $λ$-クレーパー木から $ω_2$-クレーパー部分木を抽出し、$ω_1$-再帰的性質を保存する。
• $ω_2$-有向閉じたと $λ$-閉じたフォーシングを組み合わせ、MM の下で $ω_1$-再帰的 $λ$-クレーパー木が存在すると仮定して矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 任意に大きな $λ$ に対する $λ$-閉じたフォーシングが、コンパクト基数の下でクレーパー木の存在に影響を与えるか？
• RQ2 マーティンの最大（MM）は、任意に大きな $λ$ に対する $λ$-閉じたフォーシングに敏感か？
• RQ3 MM の下で再帰的クレーパー木を破壊するためにナンバ・フォーシングが一意的な役割を果たすのか、それとも他の $λ$-閉じたフォーシングで十分か？
• RQ4 $λ$-閉じたと $λ$-有向閉じたフォーシングの間には、MM や PFA のようなフォーシング公理に与える影響に顕著な違いがあるか？
• RQ5 非可算正則 $λ$ に対して、MM の下で $ω_1$-再帰的 $λ$-クレーパー木の存在を一貫して強制することは可能か？

主な発見

• 任意の非可算正則 $λ$ に対して、$λ$-閉じたフォーシング $\mathcal{K}_{\text{reg}}^{\lambda}$ が存在し、それによって $λ$-再帰的 $λ$-クレーパー木が追加される。
• $\kappa$ がコンパクト基数で、$\lambda \geq \kappa$ が正則であるならば、$\kappa$-再帰的 $\lambda$-クレーパー木は存在しない。これは、コンパクト基数が $λ$-閉じたフォーシングに敏感であることを示している。
• MM の下では、任意の非可算正則 $\lambda$ に対して $\omega_1$-再帰的 $\lambda$-クレーパー木は存在しない。これは、MM が $λ$-閉じたフォーシングに敏感であることを証明している。
• MM の失敗は、任意に大きな $λ$ に対する $λ$-閉じたフォーシングのみで達成可能であり、従来の結果とは異なり、より強いまたは複雑なフォーシングを必要としない。
• MM の下で再帰的クレーパー木を破壊するためにナンバ・フォーシングが不可欠である。なぜなら、$\omega_1$ の静的部分集合を被覆性を持たずに保存するからである。
• $ω_2$-有向閉じたと $λ$-閉じたフォーシングの合成は MM を保存するが、$ω_1$-再帰的 $λ$-クレーパー木が存在すると矛盾を引き起こす。これにより、MM の下でそのような木が存在しないことが確認される。