[論文レビュー] An example of a new simple theory

M. Malliaris, Saharon Shelah|arXiv (Cornell University)|Apr 9, 2018

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

ひとこと要約

この論文は、キーゼル順序においてランダムグラフよりも厳密に上方に位置し、三角形を含まないランダムグラフの高次版と直交する、新たな可算単純理論 $T_f$ を構成する。ボーレン代数の枠組みを用いた二段階の超積構成により、著者たちは $T_f$ が特定の正則超フィルターによって飽和されないことを証明し、ZFC内において比較不能な類の存在を確立する——これはモデル理論における長年の未解決問題を解決するものである。

ABSTRACT

We construct a countable simple theory which, in Keisler's order, is strictly above the random graph (but "barely so") and also in some sense orthogonal to the building blocks of the recently discovered infinite descending chain. As a result we prove in ZFC that there are incomparable classes in Keisler's order.

研究の動機と目的

• キーゼル順序においてランダムグラフよりも厳密に上方に位置する新しい単純理論を構成すること。
• この理論が、三角形を含まないランダムグラフの高次版の無限降下的鎖と直交することを示すこと。
• 大基数仮定なしにZFC内において、キーゼル順序における比較不能な類の存在を証明すること。
• ランダム性と禁止構造の複雑な相互作用を示す、新しい単純で不安定な理論の例を提供すること。
• ボーレン代数と可能性パターンを用いた二段階の超積法を発展・応用し、飽和性を分析すること。

提案手法

• 頂点と $k$-タプルの二種類の sorted 構造を用い、禁止 $k$-クリークとランダムな辺分布を持つグラフに基づいて理論 $T_f$ を構築する。
• 二段階の超積構成を行う：まず、$I$ 上のフィルター $\mathcal{D}_0$ を構成し、$\mathcal{P}(I)/\mathcal{D}_0 \cong \mathfrak{B}^0_{2^\lambda,\mu,\theta}$ となるようにし、次に、$\mathfrak{B}^1$ の完備化上での超フィルター $\mathcal{D}_*$ に持ち上げる。
• ボーレン代数 $\mathfrak{B}^1$ 内に可能性パターン $\bar{\mathbf{b}} = \langle \mathbf{b}_s : s \in \Omega \rangle$ を定義し、$\mathbf{b}_s$ は $k$-タプル上のタイプの整合性を符号化する。
• 関数 $F: [\lambda]^k \to [\lambda]^{\leq \mu}$ を用いた背理法により、可能性パターン $\bar{\mathbf{b}}$ が $\mathcal{D}_*$ 内に乗法的リファインメントを持たないことを示し、非飽和性を証明する。
• 「変数の分離」の原則を用いて、超べきにおける飽和性を、ボーレン代数上の超フィルターにおける乗法的リファインメントの存在に翻訳する。
• 先行研究 [12, 14, 15] の枠組みを応用し、$T_f$ の正則超べきにおける飽和性および非飽和性を分析する。

実験結果

リサーチクエスチョン

• RQ1 キーゼル順序においてランダムグラフよりも厳密に上方に位置するが、三角形を含まないランダムグラフの高次版の無限降下的鎖に属さない単純理論は存在するか？
• RQ2 大基数仮定なしにZFC内において、キーゼル順序における比較不能な類が存在することは証明可能か？
• RQ3 ランダム性と禁止構造は、単純で不安定な理論において、超べきにおける飽和性にどのように作用するか？
• RQ4 ボーレン代数手法を用いた二段階の超積構成は、新しい単純理論における非飽和性を検出できるか？
• RQ5 可能性パターンおよびその乗法的リファインメントは、超べきの飽和性特性を決定づける役割を果たすか？

主な発見

• $T_f$ は、そのモデル理論的構造における独立性および非分岐性の性質を検証することにより、明示的に単純であることが示された。
• $T_f$ に関連する可能性パターン $\bar{\mathbf{b}}$ は、超フィルター $\mathcal{D}_*$ 内に乗法的リファインメントを持たないため、$\mathcal{D}_*$ が $T_f$ に対して良いものでないことが証明された。
• この非飽和性の結果により、$T_f$ がキーゼル順序においてランダムグラフよりも厳密に上方にあることが示された。これは、ランダムグラフを飽和させる超フィルターが $T_f$ を飽和させないためである。
• $T_f$ は、三角形を含まないランダムグラフの高次版と直交する。これは、キーゼル順序においてそれらと比較不能であることを意味する。
• この構成により、ZFC内において比較不能な類が存在することが証明され、これは大基数仮定のもとでのみ知られていた問題を解決する。
• 関数 $F: [\lambda]^k \to [\lambda]^{\leq \mu}$ が重要な有限性条件を破る背理に基づき、$T_f$ に対して非飽和な超べきが存在することが確立された。