[论文解读] An example of a new simple theory

M. Malliaris, Saharon Shelah|arXiv (Cornell University)|Apr 9, 2018

Advanced Topology and Set Theory参考文献 14被引用 3

一句话总结

本文构建了一个新的可数简单理论 $T_f$，该理论在凯斯勒序中严格高于随机图，且与三角形-free随机图的高阶类比正交。通过使用布尔代数框架的两阶段超积构造，作者证明了 $T_f$ 不被某些正规超滤子饱和，从而在 ZFC 内部确立了凯斯勒序中不可比较类的存在性——解决了模型论中长期悬而未决的问题。

ABSTRACT

We construct a countable simple theory which, in Keisler's order, is strictly above the random graph (but "barely so") and also in some sense orthogonal to the building blocks of the recently discovered infinite descending chain. As a result we prove in ZFC that there are incomparable classes in Keisler's order.

研究动机与目标

• 构建一个在凯斯勒序中严格高于随机图的新简单理论。
• 证明该理论与三角形-free随机图的高阶类比构成的无限递减链正交。
• 在 ZFC 内证明凯斯勒序中不可比较类的存在性，且无需大基数假定。
• 提供一个简单不稳定理论的新例子，其中随机性与禁止结构之间存在复杂相互作用。
• 开发并应用一种基于布尔代数和可能性模式的两阶段超积方法，以分析饱和性。

提出的方法

• 基于禁止 $k$-团且边分布随机的图构造理论 $T_f$，采用包含顶点和 $k$-元组的二元结构。
• 使用两阶段超积构造：首先在 $I$ 上构造滤子 $\mathcal{D}_0$，使得 $\mathcal{P}(I)/\mathcal{D}_0 \cong \mathfrak{B}^0_{2^\lambda,\mu,\theta}$，然后将其提升至布尔代数 $\mathfrak{B}^1$ 上的超滤子 $\mathcal{D}_*$。
• 在布尔代数 $\mathfrak{B}^1$ 中定义一个可能性模式 $\bar{\mathbf{b}} = \langle \mathbf{b}_s : s \in \Omega \rangle$，其中 $\mathbf{b}_s$ 编码关于 $k$-元组的类型的一致性。
• 通过反证法证明非饱和性：即在 $\mathcal{D}_*$ 中，可能性模式 $\bar{\mathbf{b}}$ 没有乘法精化，基于一个函数 $F: [\lambda]^k \to [\lambda]^{\leq \mu}$。
• 应用“变量分离”原则，将超幂中的饱和性转化为布尔代数上超滤子中乘法精化的存在性。
• 应用先前工作 [12, 14, 15] 的框架，分析 $T_f$ 的正规超幂中的饱和性与非饱和性。

实验结果

研究问题

• RQ1 是否存在一个简单理论，在凯斯勒序中严格高于随机图，但不属于三角形-free随机图的高阶类比的无限递减链？
• RQ2 能否在 ZFC 内部证明凯斯勒序中不可比较类的存在性，且无需大基数假定？
• RQ3 在简单不稳定理论中，随机性与禁止结构如何相互作用，从而影响超幂中的饱和性？
• RQ4 能否通过结合布尔代数方法的两阶段超积构造，检测到一个新简单理论中的非饱和性？
• RQ5 可能性模式及其乘法精化在决定超幂饱和性方面起什么作用？

主要发现

• 通过验证其模型论结构中的独立性与非分叉性质，$T_f$ 被明确证明为简单理论。
• 与 $T_f$ 相关的可能性模式 $\bar{\mathbf{b}}$ 在超滤子 $\mathcal{D}_*$ 中没有乘法精化，从而证明 $\mathcal{D}_*$ 对 $T_f$ 不是良性的。
• 此非饱和性结果意味着 $T_f$ 在凯斯勒序中严格高于随机图，因为其不被那些能饱和随机图的超滤子所饱和。
• 理论 $T_f$ 与三角形-free随机图的高阶类比正交，意味着它在凯斯勒序中与它们不可比较。
• 该构造在 ZFC 内部证明了凯斯勒序中存在不可比较类，解决了此前仅在大基数假定下成立的问题。
• 通过一个违反关键有限性条件的函数 $F: [\lambda]^k \to [\lambda]^{\leq \mu}$ 的矛盾，确立了 $T_f$ 的非饱和超幂的存在性。