[论文解读] Keisler's order is not simple (and simple theories may not be either)

M. Malliaris, Saharon Shelah|arXiv (Cornell University)|Jun 24, 2019

Limits and Structures in Graph Theory参考文献 27被引用 5

一句话总结

该论文通过构建一类具有无非平凡分叉的简单不稳定理论的新构造，解决了模型论中一个长期悬而未决的问题，证明了在一阶理论上的凯斯勒序（Keisler's order）具有最大可能的类数——连续统多类。这些理论通过参数化家族的二分图编码密度增长速率构建，超滤子则通过一种反映这些结构的新链条件构造，表明凯斯勒序既非线性也非简单，且简单理论可能展现出远超以往认知的丰富复杂性。

ABSTRACT

Solving a decades-old problem we show that Keisler's 1967 order on theories has the maximum number of classes. The theories we build are simple unstable with no nontrivial forking, and reflect growth rates of sequences which may be thought of as densities of certain regular pairs, in the sense of Szemerédi's regularity lemma. The proof involves ideas from model theory, set theory, and finite combinatorics.

研究动机与目标

• 解决凯斯勒序中等价类数量的长期悬而未决问题。
• 通过构造具有截然不同饱和行为的理论族，证明凯斯勒序既非线性也非简单。
• 证明简单不稳定理论可具有丰富的内部复杂性，挑战其结构受限的假设。
• 开发一种在布尔代数上构造超滤子的新方法，使其能反映特定模型论的饱和性质。
• 提供一个理解密度增长在简单理论结构及其在凯斯勒序中地位的框架。

提出的方法

• 构建具有交替边关系的有限分支树，这些关系在递增高度上交替为完全图与稀疏随机二分图。
• 将'参数'定义为编码有限图密度的结构，'层级函数'用于追踪稀疏图被使用的节点位置。
• 将每个参数关联到一个简单、不稳定且无非平凡分叉的理论，该理论作为一元谓词上的过滤随机二分图构建。
• 引入布尔代数上的新链条件，确保超滤子在一类理论中保持饱和，而在另一类理论中排除类型。
• 使用由层级函数生成的理想，在归纳超滤子构造过程中实现不同理论族之间的正交性。
• 通过归纳方式构建一个非自由布尔代数及其滤子，逐步添加来自一类理论的模型论问题解，同时通过另一类理论的理想保持链条件。

实验结果

研究问题

• RQ1 凯斯勒序是否具有不可数多个等价类？若是，其最大结构为何？
• RQ2 无非平凡分叉的简单不稳定理论在正规超滤子下是否可表现出根本不同的饱和行为？
• RQ3 随机图在凯斯勒序中的类是否存在模型论表征？能否与密度现象建立联系？
• RQ4 能否在 ZFC 中构造超滤子，以反映图密度复杂增长率的方式，从而区分饱和行为？
• RQ5 在缺乏实际分叉的情况下，通过分叉的有限逼近能否在多大程度上理解简单理论的结构？

主要发现

• 在 ZFC 中证明凯斯勒序具有最大可能的类数——连续统多类，解决了数十年来的问题。
• 该构造将偏序 $\mathcal{P}(\omega)/\text{fin}$ 嵌入凯斯勒序，表明其复杂性达到最大。
• 构造了一类新的简单不稳定理论族，无非平凡分叉，其参数由编码图密度增长率的序列构成。
• 这些理论的超幂饱和行为因其底层密度序列的增长率而表现出巨大差异。
• 引入布尔代数上的新链条件，使超滤子的构造能够基于参数层级函数区分不同理论。
• 超滤子构造是非自由的，且使用源自层级函数的理想，以确保不同理论族之间的正交性。