[论文解读] Classification theory for theories with NIP - a modest beginning

Saharon Shelah|ArXiv.org|Sep 6, 2000

Advanced Topology and Set Theory被引用 3

一句话总结

本文首次为具有 NIP（无独立性质）的一阶理论建立分类理论，将模型论工具如可识别序列、平均值和正交性扩展至不稳定但 NIP 的情境。它在可定义类型、余滤度对偶性等方面建立了基础结果，并引入了诸如对偶-cf 和 w-不变量等不变量，为类似稳定性和简单性的结构理论奠定基础。

ABSTRACT

A relevant thesis is that for the family of complete first order theories with NIP (i.e. without the independence property) there is a substantial theory, like the family of stable (and the family of simple) first order theories. We examine some properties.

研究动机与目标

• 开发一种与稳定理论和简单理论中已建立理论相类似的 NIP 一阶理论分类理论。
• 研究在不稳定情境下，可识别序列及其平均值的行为，特别是当理论不稳定时。
• 为无限可识别序列定义并分析诸如对偶-cf 和 w-不变量等不变量，以捕捉结构复杂性。
• 探讨可定义类型、典范基和拟序在 NIP 理论中的作用，尤其关注其与顺序性质和无限链的关系。
• 通过识别框架中的测试问题和开放问题，为未来推广（如超 NIP 或维数类不变量）奠定基础。

提出的方法

• 使用超滤子和类型定义序列的平均值（Av(D, J)），从而分析 NIP 模型中可定义行为。
• 引入关于集合 A 的 D-可识别序列概念，其中类型定义性由超滤子和平均类型控制。
• 定义关键公式类：avf（可平均化）、daf（可定义为有限个凸集的并）、daf^n（有界凸性），以对公式在序列上的行为进行分类。
• 应用对偶-cf 不变量来度量可识别序列的复杂性，表明在某些饱和性假设下，若 dual-cf(𝕀, M) = θ₂，则导致矛盾。
• 使用模型论的饱和性论证和绝对性推导结构约束，尤其在大基数和余滤度的背景下。
• 使用组合近似（例如 θ₂-近似）和对称关系 R ⊆ λ × λ 来定义并分析对偶-cf-κ 维独立性质。

实验结果

研究问题

• RQ1 能否发展出一种与稳定理论和简单理论相类似的 NIP 理论分类理论？
• RQ2 NIP 理论中的可识别序列表现出何种结构性质，尤其是在理论不稳定时？
• RQ3 对偶-cf(𝕀, M) 和 w(𝕀) 等不变量如何表征无限可识别序列的复杂性和正交性？
• RQ4 在缺乏稳定性的情况下，可定义类型和典范基在 NIP 理论中能在多大程度上被推广？
• RQ5 对偶-cf-κ 维独立性质能否用于区分或刻画 NIP 理论，特别是在与 p-进数或其他已知例子的关系中？

主要发现

• 对于任意 NIP 理论 T，每个公式 φ(x, y) 将任意可识别序列划分为有限多个凸集，推广了稳定理论中的一个关键特征。
• 对偶-cf(𝕀, M) 不变量度量了在模型 M 上的无限可识别序列 𝕀 的复杂性；若 dual-cf(𝕀, M) = θ₂，则在饱和性假设下导致矛盾。
• 存在一个二分法：类型 p ∈ Sm(M) 是稳定的，当且仅当它是可定义的，且每个实现它的超滤子生成一个可识别集合；否则，它在拟序中支持无限链。
• 若 T 不稳定但具有 NIP，则存在某个公式 φ(x, y; c) 定义一个具有无限链的拟序，此类公式也可能具有顺序性质（尽管不一定具有 Eherenfeucht 的性质 E）。
• 本文表明，第 5 节的构造所生成的模型比不稳定本身所暗示的具有更丰富的自由度，暗示 NIP 理论中存在更丰富的内部结构。
• 本文引入 w(𝕀) 不变量作为两两不正交的无限可识别序列链长度的上确界，尽管其行为不像代数维数那样。