[论文解读] Strongly dependent theories

Saharon Shelah|arXiv (Cornell University)|Apr 10, 2005

Advanced Topology and Set Theory被引用 28

一句话总结

本文在模型论中引入并研究了强依赖理论的概念，将稳定性理论中的概念推广至超稳定性之外。研究证明，对于任意强依赖理论 $T$，若集合 $I$ 的大小至少为 $eth_{|T|^+}( au)$，则其包含一个关于任意参数集 $A$ 的大小为 $ au^+$ 的不可区分子序列，从而呈现出一种类似稳定性但又不同于稳定性的强结构二分法。

ABSTRACT

We further investigate the class of models of a strongly dependent (first order complete) theory T, continuing math.LO/0406440. If |A|+|T|<= mu, I subseteq C, |I| >=beth_{|T|^+}(mu) then some J subseteq I of cardinality mu^+ is an indiscernible sequence over A .

研究动机与目标

• 开发一个稳健的强依赖理论模型论框架，将其扩展至超稳定性和稳定性之外。
• 厘清强依赖不同定义之间的关系，特别是强1依赖与强2依赖理论之间的区别。
• 研究强依赖理论中类型与公式相关的秩，建立其有限性与有界性条件。
• 在集合论假设下，证明大集合中存在长不可区分序列的强结构结果。
• 探索 $p$-进数及其相关领域中可定义群与稳定性理论性质之间的联系。

提出的方法

• 引入 $\kappa_{\text{ict}}(T)$，一个推广理论独立性理论复杂度的基数不变量，将强依赖定义为 $\kappa_{\text{ict}}(T) = \aleph_0$。
• 基于稳定理论中不可区分性的不同方面，定义两种强依赖的变体：强1依赖与强2依赖。
• 引入并研究三元组 $(p, M, A)$ 的秩，证明 $T$ 为强依赖当且仅当这些秩总是有限或有界于 $<|T|^+$。
• 利用集合论假设（例如 $\beth_{\mu^+}$）推导出关于参数的长不可区分序列的存在性。
• 将这些秩应用于证明：在强依赖理论中，类型定义的群中不存在无限递减的子群链（其指数为无限）。
• 通过公式与不可区分序列上的组合条件分析 $n$-独立性与 $n$-依赖性，推广依赖性的概念。

实验结果

研究问题

• RQ1 强1依赖与强2依赖理论之间的确切关系是什么？它们与超稳定性和稳定性有何不同？
• RQ2 在温和的集合论假设下，是否可以保证在强依赖理论中，大集合内存在长不可区分序列？
• RQ3 为类型与公式所定义的新秩如何与强依赖理论的模型论复杂度相关联？
• RQ4 在 $p$-进数及其相关领域（如实闭域）中，其性质在多大程度上体现了强依赖行为？
• RQ5 $n$-依赖性的组合条件能否用于对 $n=2$ 以外的理论进行分类？

主要发现

• 若 $|A|+|T|\leq\mu$ 且 $|\mathbb{I}|\geq\beth_{|T|^+}(\mu)$，则 $\mathbb{I}$ 包含一个关于 $A$ 的大小为 $\mu^+$ 的不可区分子序列，这是核心结构结果。
• $p$-进域的理论是强1依赖的，但不是强2依赖的，提供了一个关键示例。
• 对于强依赖 $T$，相关秩总是有限或有界于 $<|T|^+$，且该性质可刻画强依赖性。
• 在强3依赖理论中，类型定义的群不存在无限递减的子群链（其指数为无限）。
• 在 $\beth_{\mu^+}\rightarrow_{T}(\mu^+)^{<\omega}_{\mu^+}$ 这一强分割性质下，长不可区分序列的存在性得以保证。
• 本文证明了 $T$ 为强依赖当且仅当 $\kappa_{\text{ict}}(T) = \aleph_0$，从而为该类理论提供了新的刻画。