[論文レビュー] Keisler's order is not simple (and simple theories may not be either)

M. Malliaris, Saharon Shelah|arXiv (Cornell University)|Jun 24, 2019

Limits and Structures in Graph Theory参考文献 27被引用数 5

ひとこと要約

この論文は、第一階理論におけるKeislerの順序が、連続体個の類をもつ最大の可能性を達成することを示す、モデル理論における長年の未解決問題を解決する。非自明なフォークをもたない単純で不安定な理論の新規構成法を用い、密度増加率を符号化する二部グラフのパラメータ化された族から構築される。これらの理論は、密度増加率を反映するように調整された超フィルターを介して、Keislerの順序が線形でも単純でもないことを示し、かつ単純理論がこれまで考えられていたよりもはるかに豊かな複雑性を示しうることを示している。

ABSTRACT

Solving a decades-old problem we show that Keisler's 1967 order on theories has the maximum number of classes. The theories we build are simple unstable with no nontrivial forking, and reflect growth rates of sequences which may be thought of as densities of certain regular pairs, in the sense of Szemerédi's regularity lemma. The proof involves ideas from model theory, set theory, and finite combinatorics.

研究の動機と目的

• Keislerの順序に存在する同値類の数がいくつであるかという長年の未解決問題を解決すること。
• 正則超フィルターのもとで著しく異なる飽和性の挙動を示す理論の族を構成することで、Keislerの順序が線形でも単純でもないことを示すこと。
• 非自明なフォークをもたない単純で不安定な理論が、構造的に制限されたものではなく、豊かな内部的複雑性を示しうることを示すこと。
• 特定のモデル理論的飽和性を反映するように、ブール代数上の超フィルターを構成する新しい手法を開発すること。
• 密度増加の役割を、単純理論の構造およびKeislerの順序におけるその位置づけを理解するための枠組みを提供すること。

提案手法

• 高さを増加させながら、完全な二部グラフとスパースなランダム二部グラフを交互に持つ、有限分岐の木のペアを構成すること。
• 有限グラフ密度を符号化する構造として「パラメータ」を定義し、「レベル関数」でスパースグラフが使用される場所を追跡すること。
• 各パラメータに対して、一元的予想子上のフィルター処理を施したランダム二部グラフとして構築される、非自明なフォークをもたない単純で不安定な理論を関連させること。
• ある族の理論の飽和性を保存するが、別の族の理論では型を省くように保証する、ブール代数上の新しい鎖条件を導入すること。
• レベル関数によって生成されるイデアルを用いて、帰納的超フィルター構成の過程で、異なる理論族間の直交性を強制すること。
• 非自由なブール代数と超フィルターを帰納的に構築し、ある族からのモデル理論的問題の解を追加しながら、別の族からのイデアルによって鎖条件を保ち続けること。

実験結果

リサーチクエスチョン

• RQ1 Keislerの順序は、可算より多くの同値類をもつのか？ もしそうなら、その最大構造は何か？
• RQ2 非自明なフォークをもたない単純で不安定な理論が、正則超フィルターのもとで根本的に異なる飽和性の挙動を示すことができるか？
• RQ3 ランダムグラフの同値類は、モデル理論的に特徴づけられるか？ また、密度現象と結びつけることができるか？
• RQ4 ZFCにおいて、グラフ密度の複雑な増加率を反映するように超フィルターを構成し、飽和性の挙動を区別できるか？
• RQ5 実際にフォークがない状況でも、フォークの有限近似を通じて単純理論の構造をどの程度理解できるか？

主な発見

• Keislerの順序は、ZFCで証明可能な最大のクラス数、すなわち連続体個の同値類をもつことが示された。これは数十年にわたる問題を解決する。
• この構成により、$\mathcal{P}(\omega)/\text{fin}$ の部分順序がKeislerの順序に埋め込まれ、その複雑さが最大であることが示された。
• グラフ密度増加率を符号化する系列によってパラメータ化された、非自明なフォークをもたない新しい単純で不安定な理論の族が構成された。
• これらの理論の超べきの飽和性の挙動は、基礎となる密度系列の増加率に大きく依存し、著しく異なるものとなる。
• ブール代数上の新しい鎖条件が導入され、あるパラメータレベル関数に基づく理論族と別の族との間で、飽和性の差を識別できる超フィルターの構成が可能になった。
• 超フィルターの構成は非自由であり、レベル関数から導かれるイデアルを用いて、異なる理論族間の直交性を保証している。