[论文解读] Keisler's order has infinitely many classes

M. Malliaris, Saharon Shelah|arXiv (Cornell University)|Mar 28, 2015

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

一句话总结

该论文在ZFC系统内证明了，通过超幂饱和性比较一阶理论模型论复杂度的基斯勒序（Keisler's order）中，包含一个无限严格递减的简单不稳定理论链。该结果通过分析赫鲁索夫斯基的$n$-自由$k$-超图并构造最优超滤子而获得，表明基斯勒序是无限的且非良序，从而推翻了长久以来关于仅有有限多个类别的猜想。

ABSTRACT

We prove, in ZFC, that there is an infinite strictly descending chain of classes of theories in Keisler's order. Thus Keisler's order is infinite and not a well order. Moreover, this chain occurs within the simple unstable theories, considered model-theoretically tame. Keisler's order is a central notion of the model theory of the 60s and 70s which compares first-order theories (and implicitly ultrafilters) according to saturation of ultrapowers. Prior to this paper, it was long thought to have finitely many classes, linearly ordered. The model-theoretic complexity we find is witnessed by a very natural class of theories, the $n$-free $k$-hypergraphs studied by Hrushovski. This complexity reflects the difficulty of amalgamation and appears orthogonal to forking.

研究动机与目标

• 解决基斯勒1967年提出的关于基斯勒序结构的问题，该问题长期被认为仅有有限多个类别。
• 挑战模型论中普遍存在的直觉，即简单不稳定理论在基斯勒序中构成一个相对同质的类别。
• 证明即使在低复杂度、平凡分叉（trivial forking）的简单理论中，基斯勒序内也表现出无限复杂性。
• 确立基于超幂饱和性的理论层次并非良序，与先前的预期相反。
• 通过引入与着色和粘合约束相关的复杂性新度量，扩展简单理论的分类。

提出的方法

• 利用先前工作（Malliaris 和 Shelah, 2014）中构造的“最优超滤子”来分析超幂的饱和性质。
• 分析$T_{m,k}$的模型论性质，即$m$-自由$k$-超图的模型完备化，其中$m > k \geq 2$，这些理论已知为简单且具有平凡分叉。
• 构造一族理论$T^*_n$，作为$k > n$时$T_{k,k+1}$的不相交并集，从而在基斯勒序中形成递减链。
• 利用$k' > k$蕴含$T^*_{k'} \trianglelefteq T^*_k$于基斯勒序中的事实，依赖于超幂下饱和性的行为。
• 应用ZFC中关于超滤子构造和集合论着色定理的结果，以确保所需超滤子的存在性。
• 建立$T_{m+r,k+r}$中当$r \to \infty$时，粘合约束的复杂性降低，支持此类理论更趋近于随机图的论断。

实验结果

研究问题

• RQ1 基斯勒序是否允许存在无限递减的理论链，即使在简单不稳定理论类别中？
• RQ2 简单理论的复杂性能否通过粘合约束的持续性来度量，且这是否与它们在基斯勒序中的位置相关？
• RQ3 是否可能仅使用具有平凡分叉和低模型论复杂度的理论来构造基斯勒序中的无限递减链？
• RQ4 $n$-自由$k$-超图是否提供了一类自然的理论，能揭示基斯勒序中的无限深度？
• RQ5 仅凭ZFC是否足以构造实现此类无限链所需的超滤子，而无需额外的集合论公理？

主要发现

• 基斯勒序中存在一个无限严格递减的简单不稳定理论链，证明该序并非良序。
• 该链存在于具有平凡分叉和低模型论复杂度的理论类别中，具体通过$k > n$时$T_{k,k+1}$的不相交并集构造。
• 理论$T^*_n$构成一个递减链：$T^*_0 \triangleright T^*_1 \triangleright T^*_2 \triangleright \cdots$，其中每个$T^*_{n+1} \trianglelefteq T^*_n$。
• 该结果在ZFC中成立，无需额外的集合论公理，从而解决了模型论中长期悬而未决的开放问题。
• 所观察到的复杂性与分叉无关，而是源于赫鲁索夫斯基的$n$-自由$k$-超图中粘合约束的结构。
• 这表明，即使在最“温和”的不稳定理论类别——即简单且具有平凡分叉的理论——中，基斯勒序内也存在无限的内部复杂性。