[论文解读] Model Theory for a Compact Cardinal

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

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

一句话总结

本文为当 $\theta$ 为紧致基数时，对 $\mathbb{L}_{\theta,\theta}$ 中的完备理论发展了分类理论。它将稳定性、饱和性以及凯斯勒型序的概念推广到此设定中，证明了 $T$ 是 $\trianglelefteq^{\mathrm{ful}}_{\lambda,\theta}$-极小当且仅当其为定义稳定性且具有全局 $\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.）的局部与全局概念之间的关系。
• 建立理论 $T$ 在 $\theta$-基数意义下为 $\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}$ 的类型的局部饱和性，推广一阶饱和性的概念。
• 定义两种稳定性形式：一种基于超幂的局部饱和性，另一种基于存在 $T_1\supseteq T$ 满足 $|T_1|=|T|+2^\theta$，使得 $T_1$ 的模型诱导出 $\lambda^+$-饱和的 $\tau(T)$-约化。
• 应用 Łoś 定理与超滤子正则性，将个体模型的性质传递至超积。
• 使用 $\theta$-n.c.p.（非独立链条件）及其全局变体来刻画极小性。
• 通过函数 $\mathbf{h}:I\to\theta$ 与 $\mathbf{h}_*$ 对指标集 $I$ 进行划分，分析超极限中类型实现的性质。

实验结果

研究问题

• RQ1 当 $\theta$ 为紧致基数时，一阶模型论中的稳定性与饱和性概念能否在 $\mathbb{L}_{\theta,\theta}$-理论中有意义地推广？
• RQ2 是否存在类似于一阶凯斯勒序极小性的 $\trianglelefteq^{\mathrm{ful}}_{\lambda,\theta}$-极小性的刻画？
• RQ3 在 $\mathbb{L}_{\theta,\theta}$-理论中，$\theta$-n.c.p. 的局部版本与全局版本之间有何关系？
• RQ4 是否存在 $T_1\supseteq T$ 满足 $|T|+2^\theta$，使得所有 $M_1\models T_1$ 都诱导出 $\lambda^+$-饱和的 $\tau(T)$-约化，从而可用于刻画极小性？
• RQ5 定义稳定性与全局 $\theta$-n.c.p. 如何与 $\trianglelefteq^{\mathrm{ful}}_{\lambda,\theta}$-极小性在 $\mathbb{L}_{\theta,\theta}$-理论中相关联？

主要发现

• 本文确立了 $T$ 是 $\trianglelefteq^{\mathrm{ful}}_{\lambda,\theta}$-极小当且仅当其为定义稳定性且具有全局 $\theta$-n.c.p.。
• 通过反例表明，基于超幂饱和性的极小性与基于存在 $T_1\supseteq T$ 且诱导出饱和约化的极小性并非等价。
• 定义稳定性与全局 $\theta$-n.c.p. 共同刻画了 $\theta$-基数 $\mathbb{L}_{\theta,\theta}$-理论的 $\trianglelefteq^{\mathrm{ful}}_{\lambda,\theta}$-极小性。
• 证明依赖于构造函数 $\mathbf{h}:I\to\theta$ 并分析其在 $\theta$-完备超滤子模下的行为，以控制超极限中类型实现。
• 全局 $\theta$-n.c.p. 严格强于局部 $\theta$-n.c.p.，且二者之间的区别对极小性的刻画至关重要。
• 该结果将经典分类理论结果从一阶逻辑推广至 $\mathbb{L}_{\theta,\theta}$，为无穷逻辑中稳定性理论的进一步发展奠定了基础。