[論文レビュー] 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<κを定義する。これはλ ≥ ℵ1に対してマーティンの公理MAλよりも厳密に強い。CHおよび追加の仮定（例えば、♦({α < κ : cf(α) ≥ ω1}）のもとで、2ℵ₀ = κおよびMA1.5<κを強制する、サイズκの適切なℵ2–c.c.強制法Pκを構成する。これにより、この新しい公理の整合性およびω₁における均一なクラブ推測の失敗への影響が確立される。

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–鎖条件を満たす強制順序の新しいクラスを導入することで一般化すること。
• MAλ（λ ≥ ℵ1）を拡張する強制公理MA1.5<κを定義し、その性質を研究すること。
• 連続体仮説および追加の組合的仮定のもとで、MA1.5<κと2ℵ₀ = κの整合性を確立すること。
• MA1.5<κが、MAλ単体では導けないω₁における均一なクラブ推測の失敗を示すことを示すこと。

提案手法

• 正則なλ ≥ |TC(P)|⁺に対し、H(λ)の可算基本部分構造のクラブを用いて、c.c.c.の強化としてℵ1.5–鎖条件を定義する。
• 可算基本部分モデルと対称的系に基づく側条件を用いた強制反復を用い、所望の順序を構成する。
• 反復の各段階で一般性が保たれるように、{α < κ : cf(α) ≥ ω₁}上の♦-列を用いて名前を符号化する。
• 条件の反射をQ-モデルに用いることで、反復を通じてℵ1.5–c.c.が保たれることを示すための反射および統合技術を適用する。
• 強制順序のℵ2–c.c.を用いて、反鎖が小さく保たれ、名前を介して一般性のあるフィルターが構成できることを保証する。
• 名前の符号化、クラブの反射、条件の統合を組み合わせることで、最終的な強制法PκがMA1.5<κおよび2ℵ₀ = κを強制することを検証する。

実験結果

リサーチクエスチョン

• RQ1 マーティンの公理を、MAλ（λ ≥ ℵ1）よりも厳密に強くし、かつ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サイズの反鎖が回避される。
• MA1.5<κは、すべてのλ ≥ ℵ1に対してMAλよりも厳密に強く、MAλ単体では導けないω₁における均一なクラブ推測の失敗を含意する。
• CHおよび、正則なκ ≥ ω₂で、すべてのµ < κに対してµℵ₀ < κを満たすものとし、さらに♦({α < κ : cf(α) ≥ ω₁})が成り立つと仮定すると、MA1.5<κを強制するサイズκの適切なℵ2–c.c.順序が存在する。
• 論文で構成された強制法Pκは、Pκ ⊩ 2ℵ₀ = κおよびPκ ⊩ MA1.5<κを満たし、新しい公理の整合性を確立する。
• 構成では、名前の符号化とQ-モデルにおける反射および統合を通じて、反復全体にわたる一般性が保たれることを示す。
• 証明は、Q-モデルへの条件の反射の新規な応用および反復を通じたℵ1.5–c.c.の保存に依存しており、段階間での同型写像と名前の移行を用いる。