[論文レビュー] Cofinality spectrum theorems in model theory, set theory and general topology

M. Malliaris, Saharon Shelah|arXiv (Cornell University)|Aug 27, 2012

Advanced Topology and Set Theory参考文献 17被引用数 7

ひとこと要約

この論文は、正則超フィルターのcofinalityスペクトルと連続体の基数不変量の間の深い関係を確立することで、集合論とモデル理論における2つの長年の未解決問題を解決する。モデル理論的技法を用いて、$\pi = \tau$ を証明し、van Douwenの基数不変量の体系における最も古く未解決の不等式を解消し、また$SOP_2$がKeislerの順序において最大であることを示し、モデル理論、集合論、一般位相の知見を統合する。

ABSTRACT

We connect and solve two longstanding open problems in quite different areas: the model-theoretic question of whether $SOP_2$ is maximal in Keisler's order, and the question from set theory/general topology of whether $\mathfrak{p} = \mathfrak{t}$, the oldest problem on cardinal invariants of the continuum. We do so by showing these problems can be translated into instances of a more fundamental problem which we state and solve completely, using model-theoretic methods.

研究の動機と目的

• 連続体の基数不変量における$\pi = \tau$ がZFCで成り立つかどうかという、長年の未解決問題を解決すること。
• Keislerの順序において$SOP_2$が最大であるかどうかを特定すること、これはモデル理論における中心的問題である。
• 正則超フィルターのcofinalityスぺクトルに基づく共通の枠組みを同定することで、モデル理論、集合論、一般位相の知見を統合すること。
• 特定の$\omega$の超べきにおける切断の存在が$\pi < \tau$と同値であることを確立し、位相的およびモデル理論的性質を結びつけること。
• cofinalityスぺクトル問題が局所的に飽和していること、および$\min\{\pi^+_{\mathbf{s}}, \tau_{\mathbf{s}}\}$未満に非対称または対称の切断を含まないことを証明し、主要問題の解決を可能にすること。

提案手法

• 著者たちは、線形順序の正則超べきにおける切断の構造を捉えるcofinalityスぺクトル問題$\mathbf{s}$を定義・分析する。
• 彼らは、超べきのcofinalityを測る関数$\operatorname{lcf}(\aleph_0, \mathbf{s})$を導入し、$\min\{\pi^+_{\mathbf{s}}, \tau_{\mathbf{s}}\}$未満ではwell-definedであることを証明する。
• 強制法と一般拡大を用いて、$\pi < \tau$ ならば$\mathcal{C}(\mathbf{s}, \tau_{\mathbf{s}}) \neq \emptyset$、すなわち超べきに$(\kappa_1, \kappa_2)$-切断が存在することを示す。
• 仮定$\pi = \tau$ の下で$\mathcal{C}(\mathbf{s}, \tau_{\mathbf{s}}) = \emptyset$ であることを、$^\omega\omega$における特異な切断の存在に基づく背理法によって証明する。
• 主な手法的革新は、特に正則超フィルターとその飽和性の分析を含むモデル理論的道具を用いて、一般位相と集合論における問題を解決することにある。
• 超べきにおける切断の不在に基づく、良い正則超フィルターの新しい特徴づけを確立し、これは$\pi = \tau$の証明の中心的役割を果たす。

実験結果

リサーチクエスチョン

• RQ1 ZFCにおいて$\pi = \tau$ は成り立つか、これは連続体の基数不変量における最も古く未解決の問題である。
• RQ2 Keislerの順序において$SOP_2$は最大か、これはモデル理論における根本的問題である。
• RQ3 超べきの$\omega$における特定の切断の存在が、不等式$\pi < \tau$ と結びつけられるか。
• RQ4 cofinalityスぺクトル問題$\mathbf{s}$は、$\min\{\pi^+_{\mathbf{s}}, \tau_{\mathbf{s}}\}$未満に非対称または対称の切断を含むか。
• RQ5 非単純理論について良いというモデル理論的性質が、超フィルターの柔軟性と結びつけられるか。

主な発見

• この論文はZFCにおいて$\pi = \tau$ を証明し、van Douwenの基数不変量の体系における最も古く未解決の問題を解決する。
• $SOP_2$がKeislerの順序において最大であることを確立し、モデル理論における予想を確認する。
• 著者たちは、$\mathcal{C}(\mathbf{s}, \tau_{\mathbf{s}}) = \emptyset$ がかつて$\pi = \tau$ と同値であることを示し、等式の新しい特徴づけを提供する。
• cofinalityスぺクトル問題$\mathbf{s}$が$\min\{\pi^+_{\mathbf{s}}, \tau_{\mathbf{s}}\}$未満に非対称または対称の切断を含まないことを証明し、背理法の根拠として不可欠である。
• $\operatorname{lcf}(\aleph_0, \mathbf{s}) > \aleph_1$ ならば$\operatorname{lcf}(\aleph_0, \mathbf{s}) \geq \min\{\pi^+_{\mathbf{s}}, \tau_{\mathbf{s}}\}$ であることを示し、スぺクトルにおける閾値的挙動を示す。
• 良い正則超フィルターを、$\mathcal{C}(\mathbf{s}, \tau_{\mathbf{s}}) = \emptyset$ であるものとして新たに特徴づけることを示し、モデル理論的および集合論的性質を結びつける。