[論文レビュー] Strongly dependent theories

Saharon Shelah|arXiv (Cornell University)|Apr 10, 2005

Advanced Topology and Set Theory被引用数 28

ひとこと要約

この論文はモデル理論における強く依存する理論の概念を導入し、超安定性を超える安定性理論的概念の一般化を試みる。任意の強く依存する理論 $T$ に対して、$|I| \geq \beth_{|T|^+}(\mu)$ であるならば、任意のパラメータ集合 $A$ に対して $|A|+|T|\leq\mu$ を満たすとき、$I$ は $A$ 上でサイズ $\mu^+$ の無相関部分列を含むことが示され、安定性に類似した強い構造的二分法を提供するが、それとは明確に異なる。

ABSTRACT

We further investigate the class of models of a strongly dependent (first order complete) theory T, continuing math.LO/0406440. If |A|+|T|<= mu, I subseteq C, |I| >=beth_{|T|^+}(mu) then some J subseteq I of cardinality mu^+ is an indiscernible sequence over A .

研究の動機と目的

• 強安定性や安定性を超えた強く依存する理論のための堅牢なモデル理論的枠組みを構築すること。
• 特に、強く1重依存理論と強く2重依存理論の間の定義の関係を明確にし、それらを超安定性や安定性と区別すること。
• 強く依存する理論における型と論理式に関連するランクの調査を行い、有限性および有界性条件を確立すること。
• 集合論的仮定の下で、大きな集合内に長い無相関列が存在することを示す強力な構造的結果を得ること。
• $p$-進体および関連する体における定義可能群と安定性理論的性質との関係を調査すること。

提案手法

• $T$ の独立性理論的複雑性を一般化する基数不変量 $\kappa_{\text{ict}}(T)$ を導入し、強さの依存性を $\kappa_{\text{ict}}(T) = \aleph_0$ として定義する。
• 無相関性の安定理論における異なる側面を一般化することに基づき、強く1重依存と強く2重依存の2つの変種を定義する。
• 三つ組 $(p, M, A)$ のランクを導入し、$T$ が強く依存するとは、これらのランクが常に有限または $<|T|^+$ で有界であることと同値であることを示す。
• 集合論的仮定（例えば $\beth_{\mu^+}$）を用いて、パラメータ上での長い無相関列の存在を導出する。
• これらのランクを応用し、強く依存する理論において、無限大指数を持つ型定義可能群の無限減少列が存在しないことを証明する。
• 論理式および無相関列に関する組合せ的条件を通じて $n$-独立性と $n$-依存性を分析し、依存性の概念を一般化する。

実験結果

リサーチクエスチョン

• RQ1 強く1重依存理論と強く2重依存理論の正確な関係は何か？ また、それらは超安定性や安定性とどのように異なるか？
• RQ2 弱い集合論的仮定の下でも、強く依存する理論において大きな集合内に長い無相関列が保証されるか？
• RQ3 型および論理式に対して定義された新しいランクは、強く依存する理論のモデル理論的複雑性とどのように関係するか？
• RQ4 $p$-進体および関連する体（例えば実閉体）の性質が、強く依存する挙動をどの程度具体化するか？
• RQ5 $n$-依存性のための組合せ的条件を $n=2$ の場合を超えて、理論の分類に用いることができるか？

主な発見

• もし $|A|+|T|\leq\mu$ かつ $|\mathbb{I}|\geq\beth_{|T|^+}(\mu)$ ならば、$\mathbb{I}$ は $A$ 上でサイズ $\mu^+$ の無相関部分列を含む。これは中心的な構造的結果である。
• $p$-進体の理論は強く1重依存であるが、強く2重依存ではない。これは重要な例である。
• 強く依存する $T$ に対して、関連するランクは常に有限または $<|T|^+$ で有界であり、この性質が強さの依存性を特徴付ける。
• 無限大指数を持つ型定義可能群の部分群の無限減少列は、強く3重依存理論では存在しない。
• $\beth_{\mu^+}\rightarrow_{T}(\mu^+)^{<\omega}_{\mu^+}$ という強い分割性が成り立つと、長い無相関列の存在が保証される。
• 本論文は、$T$ が強く依存するとは $\kappa_{\text{ict}}(T) = \aleph_0$ であることと同値であることを確立し、このクラスに対する新たな特徴付けを提供する。