[論文レビュー] Set-Theoretic Geology

Günter Fuchs, Joel David Hamkins+1 more|arXiv (Cornell University)|Jul 24, 2011

Advanced Topology and Set Theory参考文献 21被引用数 5

ひとこと要約

この論文は、集合論的宇宙 V をそのグラウンドモデル（集合論的強制による V = W[G] を満たす内部分モデル W）を通じて分析する枠組みである集合論的地質学を導入する。すべての ZFC のモデルが、別の ZFC のモデルのマントル（すべてのグラウンドの共通部分）およびジェネリックマントル（強制拡張のすべてのグラウンドの共通部分）であることが示され、HOD およびジェネリック HOD に対する制御が可能であることが明らかになり、集合論のマルチバースにおける深い構造的性質が明らかになる。

ABSTRACT

A ground of the universe V is a transitive proper class W subset V, such that W is a model of ZFC and V is obtained by set forcing over W, so that V = W[G] for some W-generic filter G subset P in W . The model V satisfies the ground axiom GA if there are no such W properly contained in V . The model W is a bedrock of V if W is a ground of V and satisfies the ground axiom. The mantle of V is the intersection of all grounds of V . The generic mantle of V is the intersection of all grounds of all set-forcing extensions of V . The generic HOD, written gHOD, is the intersection of all HODs of all set-forcing extensions. The generic HOD is always a model of ZFC, and the generic mantle is always a model of ZF. Every model of ZFC is the mantle and generic mantle of another model of ZFC. We prove this theorem while also controlling the HOD of the final model, as well as the generic HOD. Iteratively taking the mantle penetrates down through the inner mantles to what we call the outer core, what remains when all outer layers of forcing have been stripped away. Many fundamental questions remain open.

研究の動機と目的

• V のグラウンドモデル（V = W[G] を満たす内部分モデル W）を調査することで、集合論的宇宙 V を体系的に分析するフレームワークを構築すること。
• マントル（すべてのグラウンドの共通部分）およびジェネリックマントル（すべての強制拡張のグラウンドの共通部分）の構造を明確にし、それらが ZF や ZFC を満たす定義可能であることを示すこと。
• ベッドロックモデル（グランド公理を満たす最小のグラウンド）の存在と性質、および外コア（繰り返しマントルを取ることで得られるもの）の研究。
• 強制拡張における HOD およびジェネリック HOD の制御を行い、最終的なモデルで望ましい性質を保つように操作可能であることを示すこと。
• 特に、PFA などの公理が強制拡張およびグラウンドにおいて不変であるかどうかという、ジェネリックマルチバースに関する基礎的問題の探求。

提案手法

• V のグラウンドを、V に含まれる推移的で真部分クラスである W ⊆ V として定義し、W ⊨ ZFC かつ V = W[G] となるような W-一般フィルター G が存在するものとする。ここで ℙ ∈ W は W 上の順序集合である。
• マントル M を V のすべてのグラウンドの共通部分と定義し、ジェネリックマントルを V のすべての集合強制拡張のすべてのグラウンドの共通部分と定義する。
• グラウンドモデル定義可能性定理を証明する：V の任意のグラウンド W は、W からのパラメータを用いて V 内で定義可能であり、これにより2階概念の1階表現が可能になる。
• 強制拡張およびジェネリックマルチバース構成を用いて、大数への基数や PFA などの公理がマルチバース全体でどのように振る舞うかを分析する。
• 擬似強制と絶対性の議論を用いて、弱いコンパクト性などの性質が特定の閉じた強制ノリックに保たれることを示す。
• 反復強制を用いたモデル構成により、任意の HOD およびジェネリック HOD の構成を実現し、すべての ZFC のモデルが別のモデルのマントルおよびジェネリックマントルとして現れることを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての ZFC のモデルは、別の ZFC のモデルのマントルとして実現可能か？
• RQ2 ジェネリックマントルは常に ZF のモデルであるか。また、強制拡張において制御可能か？
• RQ3 すべての集合論のモデルにベッドロックモデルが存在するか。また、モデルが複数のベッドロックを持つことは可能か？
• RQ4 弱コンパクト基数のような大数への基数の性質は、強制拡張およびグラウンドにおいてどのように振る舞うか。特に、弱コンパクト基数に関して。
• RQ5 PFA などの強制公理は、ジェネリックマルチバース全体でどの程度保存されるか。特に、方向付き閉じた強制において。

主な発見

• すべての ZFC のモデルは、別の ZFC のモデルのマントルとして実現可能であり、この結果は、ターゲットモデルの HOD およびジェネリック HOD の両方を制御可能に拡張できる。
• ジェネリックマントルは常に ZF のモデルであり、ジェネリック HOD は常に ZFC のモデルである。これは、これらの構成が強制拡張の文脈でうまく機能することを示している。
• マントルは、すべてのグラウンドのメタクラスによる2階定義にもかかわらず、グラウンドモデル定義可能性定理のおかげで V 内で1階的に定義可能である。
• 弱コンパクト基数は、ジェネリックマルチバースにおいて <κ-閉じた強制に対して不滅的である。これは、その弱コンパクト性がこのような拡張を通しても保たれることを意味する。
• グランド公理 GA は1階的に表現可能である。これは、V がいかなるより小さいモデルの強制拡張でもないという主張の論理的複雑性に関する基礎的問題を解決する。
• 繰り返しマントルを取ることで外コア（すべての内側マントルの共通部分）が得られ、宇宙 V の深くネストされた構造が明らかになる。