[論文レビュー] A separation theorem for simple theories

M. Malliaris, Saharon Shelah|arXiv (Cornell University)|Oct 22, 2018

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

ひとこと要約

本稿は、モデル理論における除法の一般化であるシアリング（shearing）を導入し、文脈$$\mathbf{c}$$に依存するものとして定義する。また、単純理論における構文的境界線として$$\mathbf{c}$$-超安定性を定義する。主な結果は分離定理である：任意の可算な文脈$$\mathbf{c}$$および理論$$T_1$$（$$\mathbf{c}$$-超安定）と$$T_2$$（$$\mathbf{c}$$-非超安定）に対して、両方の理論を解釈するモデルが存在し、その中で$$T_1$$の制限は$$\mu$$-安定であり、$$T_2$$の制限は$$\aleph_1$$-安定でない。この性質は任意に大きな$$\mu$$に対して成り立つ。これにより、$$\mathbf{c}$$-超安定性が頑健な境界線であることが示された。

ABSTRACT

This paper builds model-theoretic tools to detect changes in complexity among the simple theories. We develop a generalization of dividing, called shearing, which depends on a so-called context c. This leads to defining c-superstability, a syntactical notion, which includes supersimplicity as a special case. We prove a separation theorem showing that for any countable context c and any two theories $T_1$, $T_2$ such that $T_1$ is c-superstable and $T_2$ is c-unsuperstable, and for arbitrarily large $μ$, it is possible to build models of any theory interpreting both $T_1$ and $T_2$ whose restriction to $τ(T_1)$ is $μ$-saturated and whose restriction to $τ(T_2)$ is not $\aleph_1$-saturated. (This suggests "c-superstable" is really a dividing line.) The proof uses generalized Ehrenfeucht-Mostowski models, and along the way, we clarify the use of these techniques to realize certain types while omitting others. In some sense, shearing allows us to study the interaction of complexity coming from the usual notion of dividing in simple theories and the more combinatorial complexity detected by the general definition. This work is inspired by our recent progress on Keisler's order, but does not use ultrafilters, rather aiming to build up the internal model theory of these classes.

研究の動機と目的

• 単純理論における構造的複雑さの変化を検出するための内部的モデル理論的道具を発展させること。
• 文脈$$\mathbf{c}$$に依存するシアリングによる除法の概念の一般化を行い、$$\mathbf{c}$$-超安定性を構文的境界線として定義すること。
• ケイズラーの順序と単純理論における安定性の理解の挑戦に触発され、安定モデルの特徴づけを、安定の場合と類似した形で単純理論において提供すること。
• 一般化されたエーレンフェュクト＝モステルスキー（Ehrenfeucht-Mostowski）モデルが、特定のタイプを実現し、他のタイプを省略する際の役割を明確化すること、特にシアリングの文脈において。

提案手法

• シアリングは、一般化された無相列に沿った論理式の不整合性として定義され、標準的な除法（無相列を用いる）を一般化する。
• 文脈$$\mathbf{c} = (I, \mathcal{K})$$を導入し、$$I$$は構造、$$\mathcal{K}$$は部分構造の族である。これにより、シアリング関係をパrameter化する。
• 一般化されたエーレンフェュクト＝モステルスキー（GEM）モデルを用いてタイプを実現し、他のタイプを省略する。[11]の技術を基盤とし、文脈に拡張する。
• 主な構成は、$$T_1$$に対して$$\mu$$-安定であり、$$T_2$$に対して$$\aleph_1$$-安定でないモデルを構成することである。$$\mathbf{c}$$-超安定性を用いて安定性の挙動を制御する。
• 証明は、$$\Upsilon_{\mathcal{K}}[T]$$におけるパラメータ集合$$\Phi$$の稠密な集合に依存し、$$T$$が$$\mathbf{c}$$-超安定であることと、$$\operatorname{GEM}_{\tau(T)}(I,\Phi)$$が$$\lambda$$-安定であることとは同値である。
• 著者たちは、可算の場合（$$\kappa = \aleph_0$$）の結果を非可算な正則$$\kappa$$に拡張し、$$\kappa$$-文脈と$$\kappa$$-表現を定義することで、フレームワークを一般化する。

実験結果

リサーチクエスチョン

• RQ1 シアリングは単純理論における独立性関係の標準的性質を満たすか。満たさない場合、どの性質が失敗し、なぜそうなるか。
• RQ2 任意の可算な文脈$$\mathbf{c}$$に対して、$$T$$が$$\mathbf{c}$$-超安定であることと、ランダムグラフが$$\mathbf{c}$$-超安定であることとは同値であるような理論$$T$$のクラスを特徴づけることは可能か。
• RQ3 $$T_2$$が$$\mathbf{c}$$-超安定ならば$$T_1$$も$$\mathbf{c}$$-超安定であるという条件で定義される順序$$T_1 \leq T_2$$の構造は何か。
• RQ4 この$$\mathbf{c}$$-超安定性順序において、最大のクラスは存在するか。
• RQ5 結果を非可算な文脈に拡張することは可能か。また、$$\kappa > \aleph_0$$の場合に必要な修正は何か。

主な発見

• 本稿は、分離定理を確立した：任意の可算な文脈$$\mathbf{c}$$および理論$$T_1$$（$$\mathbf{c}$$-超安定）と$$T_2$$（$$\mathbf{c}$$-非超安定）に対して、$$T_1$$と$$T_2$$の両方を解釈する理論のモデルが存在し、その中で$$T_1$$の制限は任意に大きな$$\mu$$に対して$$\mu$$-安定であり、$$T_2$$の制限は$$\aleph_1$$-安定でない。
• 構成は一般化されたエーレンフェュクト＝モステルスキー（GEM）モデルを用い、$$\mathbf{c}$$-超安定性条件によって$$T_1$$と$$T_2$$の安定性挙動を独立に制御できることを示した。
• 著者たちは、$$T$$が$$\mathbf{c}$$-超安定であることと、$$\Upsilon_{\mathcal{K}}[T]$$に属する稠密な$$\Phi$$の集合に対して$$\operatorname{GEM}_{\tau(T)}(I,\Phi)$$が$$\lambda$$-安定であることとは同値であることを証明した。これにより、モデル理論的安定性と構文的$$\mathbf{c}$$-超安定性との関係が明確になった。
• ランダムグラフは任意の可算な文脈$$\mathbf{c}$$に対して$$\mathbf{c}$$-非超安定であることが示され、これはそれが別個の複雑さのクラスに属することを示している。
• 本稿は、非超単純理論が、すべての可算な文脈$$\mathbf{c}$$に対して$$\mathbf{c}$$-非超安定であることが同値であることを示した。これにより、$$\mathbf{c}$$-超安定性が強い境界線であることが確認された。
• 超安定理論は、すべての可算な文脈$$\mathbf{c}$$に対して$$\mathbf{c}$$-超安定であるため、$$\mathbf{c}$$-超安定性順序において最小である。また、ランダムグラフは不安定理論の中で最小であることが示された。