[論文レビュー] The failure of square at all uncountable cardinals is weaker than a Woodin limit of Woodin cardinals

Douglas Blue, Paul G. Larson+1 more|arXiv (Cornell University)|Feb 13, 2026

Advanced Topology and Set Theory被引用数 0

ひとこと要約

著者らは最小のナイアリアンモデル上で強制を行い、全ての非可算基数でsquareが失敗しつつ、HOD内で正則基数 ω-強測度性を与え、squareの失敗が内部モデル理論の領域内にあること、そしてZFCでHOD仮説が证明不能であることを示す。

ABSTRACT

We force the Axiom of Choice over the least initial segment of a Nairian model satisfying ZF. In the forcing extension, square_kappa fails at all uncountable cardinals kappa, and every regular cardinal is omega-strongly measurable in HOD, as witnessed by the omega-club filter. Thus the failure of square everywhere is within the current reach of inner model theory, and the HOD Hypothesis is not provable in ZFC.

研究の動機と目的

• 非可算基数全体でsquare原理が失敗することを動機づけ、研究する。
• 最小のナイアリアンモデルから構築されたZFC拡張でそのような平方失敗が達成可能であることを示す。
• HOD、決定性、及び大基数の強さに対する含意を調査する。
• square失敗、PFA、Woodin基数構成との関係を明確にする。

提案手法

• NT_baseとしてNairian Theoryを導入し、そのモデル上でHomogeneousかつ可算閉包の反復によって選択公理を力 forcing する。
• 最小のNairianモデルのP_max拡張上でforcingし、正則な基数の冪集合を制御するため全支持反復を行う。
• 7節の結果を用いてDC_kappaを可能にする反射原理(ref)を示す。
• ZFC拡張において、cf(γ)>ω1を満たすすべてのγについてsquare(γ)が失敗することを示す。
• ω-クラブフィルタによって witnessedされるように、すべての正則基数がHODでω-強測度性を持つことを示す。

実験結果

リサーチクエスチョン

• RQ1 最小のNairianモデルから構築されたZFC拡張で全ての非可算基数に対してsquareが失敗しうるか。
• RQ2 そのような平方の失敗がHODと決定性関連の内部モデル理論に与える影響は何か。
• RQ3 これらの平方の失敗はより強い大基数の構成を強制するのか、PFAの強さとZFCを分離するのか。
• RQ4 これらの構成の下でHOD仮説はZFCから证明可能か、それともより強い仮説を必要とするのか。

主な発見

• 最小のNairianモデルの forcing 拡張が存在し、ZFC が成り立ち、すべての順序γに対してcofinality(γ)>ω1のときsquare(γ)が失敗する。
• この拡張では、すべての正則基数がHODでω-強測度であり、ω-クラブフィルタによって witnessed される。
• 系：ZFC + ‘square(γ) が全ての γ で cf(γ)>ω1 を満たす’ という理論は、Woodin基数の列の存在を前提とするZFC + ‘Woodin基数の列の極限’よりも一貫性強度が厳密に弱い。
• 系：ZFC の下でHOD仮説は証明不能である。
• Nairianモデルにおけるω2とSuslin基数の構造は強力な大基数特性を示す（例：ω2はNairian枠組みでordinalに対して超夸張である）。