[論文レビュー] Keisler's order has infinitely many classes

M. Malliaris, Saharon Shelah|arXiv (Cornell University)|Mar 28, 2015

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

ひとこと要約

この論文はZFC内で、超冪の飽和性を用いて一階理論のモデル理論的複雑性を比較するためのキーゼル順序が、単純で不安定な理論の無限に厳密に降下する鎖を含むことを証明した。この結果は、ハルシュォフスキーの$n$-フリー$k$-ハイパーグラフを分析し、最適な超フィルターを構成することで得られ、キーゼル順序が無限であり、well-orderでないことが示され、長年にわたって支持されてきた「有限個の類」という予想を覆した。

ABSTRACT

We prove, in ZFC, that there is an infinite strictly descending chain of classes of theories in Keisler's order. Thus Keisler's order is infinite and not a well order. Moreover, this chain occurs within the simple unstable theories, considered model-theoretically tame. Keisler's order is a central notion of the model theory of the 60s and 70s which compares first-order theories (and implicitly ultrafilters) according to saturation of ultrapowers. Prior to this paper, it was long thought to have finitely many classes, linearly ordered. The model-theoretic complexity we find is witnessed by a very natural class of theories, the $n$-free $k$-hypergraphs studied by Hrushovski. This complexity reflects the difficulty of amalgamation and appears orthogonal to forking.

研究の動機と目的

• キーゼルの1967年の質問である、キーゼル順序の構造を解明すること。これは長年にわたり、類が有限個であると予想されてきた。
• 単純で不安定な理論がキーゼル順序において相対的に均質なクラスを形成するとする、支配的なモデル理論的直観に挑戦すること。
• たとえ低次元的で、分岐が自明な単純理論であっても、キーゼル順序において無限の複雑性を示すことを示すこと。
• 超冪の飽和性に基づく理論の階層がwell-orderでないことを立証すること。これは従来の期待とは反する。
• 色分けと統合制約に基づく、単純理論の分類を拡張し、新たな複雑性の尺度を導入すること。

提案手法

• マリアリスとシェラフ（2014）の先行研究で得られた「最適な超フィルター」の構成を活用し、超冪の飽和性の性質を分析する。
• $m > k \geq 2$ に対して、$m$-フリー$k$-ハイパーグラフのモデル完備化$T_{m,k}$のモデル理論的性質を分析する。これらは、自明な分岐を持つ単純理論として知られている。
• $k > n$ に対して $T_{k,k+1}$ の素な和集合として構成される理論の族$T^*_n$を用い、キーゼル順序における降下鎖を形成する。
• $k' > k$ ならば $T^*_{k'} \trianglelefteq T^*_k$ がキーゼル順序で成り立つことを利用し、超冪における飽和性の挙動に基づく。
• 超フィルターの構成に関するZFCの結果と、集合論的色分け定理を応用し、必要な超フィルターの存在を保証する。
• $r \to \infty$ のとき $T_{m+r,k+r}$ における統合制約の複雑性が減少することを示し、こうした理論が「ランダムグラフに近づく」ことを支持する。

実験結果

リサーチクエスチョン

• RQ1 キーゼル順序は、単純で不安定な理論のクラスにすら、無限に厳密に降下する鎖を含むのか？
• RQ2 単純理論の複雑性は、統合制約の持続性によって測定可能であり、それがキーゼル順序における位置と相関するのか？
• RQ3 自明な分岐と低次のモデル理論的複雑性を持つ理論のみを用いて、キーゼル順序に無限に降下する鎖を構成可能か？
• RQ4 $n$-フリー$k$-ハイパーグラフは、キーゼル順序における無限の深さを露呈する自然な理論の族を提供できるか？
• RQ5 ZFCのみで、このような無限鎖を実現するための必要な超フィルターを構成可能か？追加の集合論的公理は不要か？

主な発見

• キーゼル順序に、単純で不安定な理論の無限に厳密に降下する鎖が存在し、順序がwell-orderでないことが証明された。
• この鎖は、自明な分岐と低次のモデル理論的複雑性を持つ理論のクラスに含まれており、特に $k > n$ に対して $T_{k,k+1}$ の素な和集合 $T^*_n$ を用いて構成された。
• 理論 $T^*_n$ は降下鎖を形成する：$T^*_0 \triangleright T^*_1 \triangleright T^*_2 \triangleright \cdots$、各 $T^*_{n+1} \trianglelefteq T^*_n$ が成り立つ。
• この結果はZFCで成立し、追加の集合論的公理を必要とせず、モデル理論における長年の未解決問題を解決した。
• 観察された複雑性は分岐とは直交しており、ハルシュォフスキーの$n$-フリー$k$-ハイパーグラフにおける統合構造の性質に起因する。
• これは、たとえ最も「なだらか」な不安定理論のクラス、すなわち単純で自明な分岐を持つ理論であっても、キーゼル順序において無限の内部的複雑性を有することが示された。