[论文解读] Morley sequences in dependent theories

Alexander Usvyatsov|ArXiv.org|Oct 3, 2008

Advanced Topology and Set Theory参考文献 1被引用 4

一句话总结

本文证明，在依赖（NIP）理论中，莫雷序列——对可识别序列的推广——通过其“最终类型”唯一确定全局非分叉扩展，从而解决了任意类型下非分叉扩展不唯一的问题。本文证明，一个序列是集合 A 上的莫雷序列，当且仅当它是弱特殊序列，并引入严格莫雷序列以在依赖理论中验证基姆引理，推广了简单理论中的关键结果。

ABSTRACT

We characterize nonforking (Morley) sequences in dependent theories in terms of a generalization of Poizat's special sequences and show that average types of Morley sequences are stationary over their domains. We characterize generically stable types in terms of the structure of the "eventual" type. We then study basic properties of "strict Morley sequences", based on Shelah's notion of strict nonforking. In particular we prove "Kim's lemma" for such sequences, and a weak version of local character.

研究动机与目标

• 通过将莫雷序列识别为确定此类扩展的典范对象，解决依赖理论中全局非分叉扩展的不唯一性问题。
• 将波扎特的特殊序列概念推广为“弱特殊”序列，并证明在依赖理论中其与莫雷序列等价。
• 通过莫雷序列的最终类型及其可识别性性质，刻画通用稳定类型。
• 引入并研究基于谢拉赫严格非分叉的“严格莫雷序列”，使依赖理论中能够成立基姆引理的版本。
• 建立依赖理论中严格莫雷序列的局部特征及其他结构性质。

提出的方法

• 将‘弱特殊’序列定义为波扎特特殊序列的推广，利用‘最终类型’Ev(I) 的构造，该构造扩展了序列 I 的平均类型。
• 证明序列 I 是 A 上的莫雷序列，当且仅当 I 是 A 上的弱特殊序列，将模型论中的非分叉概念与波扎特的最终类型构造联系起来。
• 使用谢拉赫提出的‘严格非分叉’概念，定义‘严格莫雷序列’，并证明其满足基姆引理：若 φ(x,a) 在 A 上分叉，则对任意在 tp(a/A) 中的严格莫雷序列 I，φ(x,I) 不一致。
• 利用自同构下可识别性的保持性，通过非分叉的传递性和对称性构造满足所需性质的序列。
• 借助切尼科夫与卡普兰的近期结果，推导出非分叉继承的存在性，证明此类继承即为严格莫雷序列。
• 通过最终类型 Ev(I) 刻画全局非分叉扩展，证明 Av(I, A ∪ I) 在 A 上有唯一的非分叉扩展，且该扩展恰好等于 Ev(I)。

实验结果

研究问题

• RQ1 在依赖理论中，是否可以以某种方式刻画非分叉序列，使得即使类型不能唯一确定此类扩展，也能保证全局非分叉扩展的唯一性？
• RQ2 莫雷序列 I 的最终类型 Ev(I) 与平均类型 Av(I, C) 及其在基域上的全局非分叉扩展之间有何关系？
• RQ3 是否存在一种更严格的莫雷序列概念——如‘严格莫雷序列’——使得基姆引理在依赖理论中成立？
• RQ4 在依赖理论中，弱特殊序列与莫雷序列之间存在何种关系？
• RQ5 能否在依赖理论中，特别是在模型上，确立严格莫雷序列的存在性？

主要发现

• 序列 I 是 A 上的莫雷序列，当且仅当 I 是 A 上的弱特殊序列，从而在依赖理论中建立了莫雷序列的模型论刻画。
• 莫雷序列 I 在 A 上的平均类型 Av(I, A ∪ I) 在 A 上有唯一的全局非分叉扩展，该扩展恰好是最终类型 Ev(I)。
• 基姆引理对严格莫雷序列成立：若 φ(x,a) 在 A 上分叉，则对任意在 tp(a/A) 中的严格莫雷序列 I，φ(x,I) 不一致。
• 每个全局非分叉继承都是严格莫雷序列，且如近期关于非分叉继承的结果所示，此类序列在依赖理论中于模型上存在。
• 莫雷序列 I 的最终类型 Ev(I) 在 A 上是稳定的，且 Av(I, C) = Ev(I) 当且仅当 I 是一个可识别集合。
• 条件 Av(I, C) 不在 A 上分叉成立，当且仅当 I 是一个可识别集合，从而以可识别性与非分叉性为条件，为通用稳定类型提供了新刻画。