[论文解读] Theories with EF-Equivalent Non-Isomorphic Models

Saharon Shelah|arXiv (Cornell University)|Mar 16, 2007

Advanced Topology and Set Theory参考文献 6被引用 5

一句话总结

本文研究了首次阶理论 $T$，其在不可数基数 $\lambda$ 下存在非同构模型，且对所有 $\alpha < \lambda$ 均为 EF$^{+}_{\alpha,\lambda}$-等价，表现出一种接近同构但未达到同构的结构相似性。通过力迫与模型论技术，作者证明了当 $T$ 不是强稳定时，此类‘肥大’理论的一致性，特别是对 $\aleph_0$-独立（非强依赖）理论，将主间隙二分法扩展至更广泛的不稳定理论类别。

ABSTRACT

Our "long term and large scale" aim is to characterize the first order theories T (at least the countable ones) such that: for every ordinal alpha there lambda,M_1,M_2 such that M_1,M_2 are non-isomorphic models of T of cardinality lambda which are EF_{alpha, lambda}-equivalent. We expect that as in the main gap we get a strong dichotomy, so in the non-structure side we have stronger, better examples, and in the structure side we have a parallel of [Sh:c,XIII]. We presently prove the consistency of the non-structure side for T which is aleph_0-independent (= not strongly dependent), even for PC(T_1, T).

研究动机与目标

• 刻画首次阶理论 $T$ 的特征，使得存在不可数基数 $\lambda$ 的非同构模型，且对所有 $\alpha < \lambda$ 均为 EF$^{+}_{\alpha,\lambda}$-等价，体现一种未达同构的结构相似性。
• 通过识别此类 EF$^{+}$-等价非同构模型存在的条件，将分类理论中的主间隙二分法扩展至非结构化一侧。
• 利用力迫技术，证明 $\aleph_0$-独立（非强依赖）理论中此类模型存在性的一致性，即使在 $\mathrm{PC}(T_1,T)$-类的背景下亦成立。
• 提出 Ehrenfeucht-Fraïssé 游戏（EF$^{+}$）的更强变体，更精确地捕捉模型论复杂性中的‘肥大’现象，排除较简单情形。

提出的方法

• 引入 Ehrenfeucht-Fraïssé 游戏的改进版本 EF$^{+}_{\alpha,\lambda}$，将经典 EF$^{\alpha,\lambda}$-等价强化，以更好检测结构复杂性。
• 应用 $\mu$-完备类力迫概念 $\mathbb{P}$，构造给定理论 $T$ 的模型，使其为 EF$^{+}_{\alpha,\lambda}$-等价但非同构，尤其当 $T$ 不是强稳定时。
• 使用 $\kappa$-候选与 $\Upsilon^{\omega_1\text{-tr}}_{\kappa}$-见证的概念，将非超稳定性编码并传递至力迫下的模型论性质。
• 应用 [HySh:529] 与 [Sh:c] 的结果，表明此类模型的存在性等价于某些伪初等类中范畴性的失败。
• 采用 $\mathrm{PC}(T_1,T)$ 的概念，即 $T_1$ 的模型中 $T$-饱和的模型类，将结果推广至初等类之外。
• 依赖第4节的 ZFC 结果，表明对正则 $\lambda$，EF$^{+}_{\lambda \times \kappa, \lambda, \lambda^+}$-等价蕴含非同构，其中 $\kappa = \mathrm{cf}(\kappa) < \kappa(T)$。

实验结果

研究问题

• RQ1 在何种条件下，首次阶理论 $T$ 允许存在不可数基数 $\lambda$ 的非同构模型，且对所有 $\alpha < \lambda$ 均为 EF$^{+}_{\alpha,\lambda}$-等价？
• RQ2 此类 EF$^{+}$-等价非同构模型的存在性能否在非强稳定或非强依赖理论中一致建立？
• RQ3 新的 EF$^{+}$-等价关系如何改进经典 EF-等价在捕捉模型论复杂性方面的表现？
• RQ4 力迫在构造此类模型中扮演何种角色，尤其当 $T$ 为 $\aleph_0$-独立或具有 DOP/OTOP 时？
• RQ5 是否存在一种模型论复杂性的二分法，使得此类模型恰好在 $T$ 不是超稳定且无 DOP 与 NOTOP 时存在？

主要发现

• 本文证明：若 $T$ 不是强稳定，则在 $\mu$-完备力迫的通用扩张中，$T$ 变为‘肥大’，即对任意大的 $\lambda$，其在基数 $\lambda$ 下均存在 EF$^{+}_{\alpha,\lambda}$-等价的非同构模型。
• 对任意 $\mu = \mu^{<\mu} > |T|$，存在 $\mu$-完备力迫概念 $\mathbb{P}$，使得在 $\mathbb{V}^\mathbb{P}$ 中，$T$ 一致地为‘肥大’，即使在 $\mathrm{PC}(T_1,T)$-类的背景下亦成立。
• 该结果适用于 $\aleph_0$-独立理论（即非强依赖），甚至适用于具有 DOP 或 OTOP 的理论，这些理论已知为不稳定。
• 在 ZFC 中，对正则 $\lambda > |T|$，当 $\kappa = \mathrm{cf}(\kappa) < \kappa(T)$ 时，在 $\mathrm{PC}(T_1,T)$ 中存在 EF$^{+}_{\lambda \times \kappa, \lambda, \lambda^+}$-等价的非同构模型，其基数为 $\lambda^+$，尤其当 $T$ 不稳定时成立。
• 在 ZFC 中，$\kappa \geq 2^{\aleph_0}$ 时，$\lambda$ 上范畴性与 EF$^{+}$-等价非同构模型不存在性之间建立了等价关系，表明范畴性的失败蕴含此类模型的存在。
• 本文表明，超稳定且无 DOP 与 NOTOP 的条件，等价于在 $\lambda^+$ 中不存在 EF$^{+}$-等价非同构模型，从而在主间隙框架中完成了等价关系的闭环。