[論文レビュー] Model Theory for a Compact Cardinal

Saharon Shelah|arXiv (Cornell University)|Mar 21, 2013

Advanced Topology and Set Theory参考文献 13被引用数 4

ひとこと要約

この論文は、$ heta$ がコンパクト基数であるとき、無限限界論理 $\mathbb{L}_{\theta,\theta}$ における完全理論の分類理論を開発する。安定性、飽和、キーゼル型順序の概念をこの設定に一般化し、$T$ が $\trianglelefteq^{\mathrm{ful}}_{\lambda,\theta}$-最小であることは、$T$ が定義的安定かつグローバル $\theta$-n.c.p. を持つことと同値であることを証明する。これは、古典的モデル理論的分類論を $\mathbb{L}_{\theta,\theta}$-理論へと拡張するものである。

ABSTRACT

We like to develop model theory for $T$, a complete theory in $\mathbb{L}_{θ,θ}(τ)$ when $θ$ is a compact cardinal. By [Sh:300a] we have bare bones stability and it seemed we can go no further. Dealing with ultrapowers (and ultraproducts) we restrict ourselves to ``$D$ a $θ$-complete ultrafilter on $I$, probably $(I,θ)$-regular". The basic theorems work, but can we generalize deeper parts of model theory? In particular can we generalize stability enough to generalize [Sh:c, Ch.VI]? We prove that at least we can characterize the $T$'s which are minimal under Keisler's order, i.e. such that $\{D:D$ is a regular ultrafilter on $λ$ and $M \models T \Rightarrow M^λ/D$ is $λ$-saturated$\}$. Further we succeed to connect our investigation with the logic $\mathbb{L}^1_{< θ}$ introduced in [Sh:797]: two models are $\mathbb{L}^1_{< θ}$-equivalent iff \, for some $ω$- sequence of$θ$-complete ultrafilters, the iterated ultra-powers by it of those two models are isomorphic.

研究の動機と目的

• コンパクト基数 $\theta$ であるとき、$\mathbb{L}_{\theta,\theta}$-理論に対する分類理論——特に安定性と飽和——を拡張すること。
• キーゼルの順序 $\triangleleft$ および $\triangleleft^*$ を $\mathbb{L}_{\theta,\theta}$ に一般化し、超べきおよび超極限の飽和を測定すること。
• 局所的および完全な型に基づいて、$\mathbb{L}_{\theta,\theta}$-理論における飽和性の性質における最小性を特徴付けること。
• この無限限界的文脈において、非独立性鎖条件（n.c.p.）の局所的およびグローバルな概念の関係を明確にすること。
• $\theta$ の濃度をもつ理論 $T$ が $\trianglelefteq^{\mathrm{ful}}_{\lambda,\theta}$ の意味で最小であるための条件を確立し、古典的結果を $\mathbb{L}_{\theta,\theta}$ へと拡張すること。

提案手法

• $\theta$-完全かつ $(\lambda,\theta)$-正則な超フィルターを用いて、$\mathbb{L}_{\theta,\theta}$-理論における超べきおよび超極限を分析する。
• 単一の論理式 $\varphi(\bar{x},\bar{y})\in\mathbb{L}_{\theta,\theta}$ を含む型の局所的飽和を導入し、一階論理の飽和概念を一般化する。
• 安定性の2つの定義を提示する：1つは超べきの局所的飽和に基づくもので、もう1つは $|T_1|=|T|+2^\theta$ であるような $T_1\supseteq T$ が存在し、$T_1$ のモデルが $\lambda^+$-飽和された還元を誘導することに基づくものである。
• ローゼの定理と超フィルターの正則性を用いて、個々のモデルから超積へと性質を移す。
• $\theta$-n.c.p.（非独立性鎖条件）およびそのグローバル版を用いて最小性を特徴付ける。
• 超極限における型の実現を分析するため、添え字集合 $I$ に対する関数 $\mathbf{h}:I\to\theta$ および $\mathbf{h}_*$ を用いた分割法を用いる。

実験結果

リサーチクエスチョン

• RQ1 コンパクト基数 $\theta$ であるとき、一階モデル理論における安定性と飽和の概念を $\mathbb{L}_{\theta,\theta}$-理論へ意味的に一般化できるか？
• RQ2 $\trianglelefteq^{\mathrm{ful}}_{\lambda,\theta}$-最小性に関する、一階理論におけるキーゼル順序最小性に類似した特徴づけは存在するか？
• RQ3 $\mathbb{L}_{\theta,\theta}$-理論における $\theta$-n.c.p. の局所的およびグローバル版の関係は何か？
• RQ4 すべての $M_1\models T_1$ が $\lambda^+$-飽和された $\tau(T)$-還元を誘導するような $T_1\supseteq T$ が $|T|+2^\theta$ の濃度をもつとき、その存在が最小性を特徴付けるために利用できるか？
• RQ5 定義的安定性とグローバル $\theta$-n.c.p. は、$\mathbb{L}_{\theta,\theta}$-理論における $\trianglelefteq^{\mathrm{ful}}_{\lambda,\theta}$-最小性とどのように関係するか？

主な発見

• この論文は、$T$ が $\trianglelefteq^{\mathrm{ful}}_{\lambda,\theta}$-最小であることと、$T$ が定義的安定かつグローバル $\theta$-n.c.p. を持つこととが同値であることを確立した。
• 超べきの飽和に基づく最小性と、飽和された還元を誘導する $T_1\supseteq T$ の存在に基づく最小性の2つの概念は、反例によって等価ではないことが示された。
• 定義的安定性とグローバル $\theta$-n.c.p. が、濃度 $\theta$ の $\mathbb{L}_{\theta,\theta}$-理論における $\trianglelefteq^{\mathrm{ful}}_{\lambda,\theta}$-最小性を特徴付ける。
• 証明は、超フィルターに関して関数 $\mathbf{h}:I\to\theta$ の挙動を分析することで、超極限における型の実現を制御する。
• グローバル $\theta$-n.c.p. は局所的 $\theta$-n.c.p. よりも強く、最小性を特徴付けるためにその区別が不可欠である。
• この結果は、一階論理における古典的分類理論的結果を $\mathbb{L}_{\theta,\theta}$ へ一般化し、無限限界論理における安定性理論のさらなる発展の基盤を提供する。