[论文解读] 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$$ 与 $$T_2$$ 的模型，其对 $$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}$ 是其子结构的类，以参数化剪切关系。
• 本文使用广义埃伦费尔特-莫斯特维茨（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 是否存在一个理论类 $T$ 的刻画，使得对任意可数上下文 $$\mathbf{c}$$，有 $T$ 是 $$\mathbf{c}$$-超稳定当且仅当随机图是 $$\mathbf{c}$$-超稳定？
• RQ3 由如下关系定义的序关系 $T_1 \leq T_2$：对所有可数上下文 $$\mathbf{c}$$，若 $$T_2$$ 是 $$\mathbf{c}$$-超稳定，则 $$T_1$$ 也是 $$\mathbf{c}$$-超稳定，该序关系的结构是怎样的？
• RQ4 在该 $$\mathbf{c}$$-超稳定性序关系下，是否存在一个超简单理论的最大类？
• RQ5 该结果能否推广至不可数上下文？对于 $$\kappa > \aleph_0$$ 需要哪些修改？

主要发现

• 本文建立了分离定理：对于任意可数上下文 $$\mathbf{c}$$，以及理论 $$T_1$$（$$\mathbf{c}$$-超稳定）和 $$T_2$$（$$\mathbf{c}$$-非超稳定），存在可同时解释 $$T_1$$ 与 $$T_2$$ 的模型，其对 $$T_1$$ 的限制为 $$\mu$$-饱和，而对 $$T_2$$ 的限制不是 $$\aleph_1$$-饱和，其中 $$\mu$$ 可任意大。
• 该构造使用广义埃伦费尔特-莫斯特维茨模型，表明通过 $$\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}$$-超稳定；而随机图是在不稳定理论中最小的。