[论文解读] An independence theorem for NTP2 theories

Itaï Ben Yaacov, Artem Chernikov|arXiv (Cornell University)|Jul 2, 2012

Advanced Topology and Set Theory参考文献 15被引用 7

一句话总结

该论文通过证明在 NTP2 理论中，分裂与数组分裂一致，且在扩张基上，分叉满足链条件，建立了 NTP2 理论的基本独立性定理。此外，论文表明在 NTP2 理论中，Lascar 强类型与紧致强类型一致，并引入了分裂序作为 Poizat 基本序的推广，通过普遍 Morley 序列和负担2有界性对之进行刻画。

ABSTRACT

We establish several results regarding dividing and forking in NTP2 theories. We show that dividing is the same as array-dividing. Combining it with existence of strictly invariant sequences we deduce that forking satisfies the chain condition over extension bases (namely, the forking ideal is S1, in Hrushovski's terminology). Using it we prove an independence theorem over extension bases (which, in the case of simple theories, specializes to the ordinary independence theorem). As an application we show that Lascar strong type and compact strong type coincide over extension bases in an NTP2 theory. We also define the dividing order of a theory -- a generalization of Poizat's fundamental order from stable theories -- and give some equivalent characterizations under the assumption of NTP2. The last section is devoted to a refinement of the class of strong theories and its place in the classification hierarchy.

研究动机与目标

• 建立 NTP2 理论中分叉与分裂的稳健框架，推广简单理论与 NIP 理论中的结果。
• 解决 NTP2 与分叉链条件之间关系的开放问题，证明 NTP2 蕴含在扩张基上的链条件。
• 在 NTP2 理论中建立关于扩张基的独立性定理，推广 Kim-Pillay 简单理论中的独立性定理。
• 定义并刻画 NTP2 理论中的分裂序，推广 Poizat 的基本序。
• 引入并研究负担2与强2理论类，证明 NTP2 等价于负担2有界。

提出的方法

• 通过紧致性与数组维数的归纳法，证明在 NTP2 理论中，对任意集合，分裂等价于数组分裂。
• 利用严格不变序列与普遍 Morley 序列的存在性，建立在扩张基上分叉的链条件。
• 将链条件应用于证明分叉理想为 S1，从而为在扩张基上证明独立性定理提供支持。
• 将分裂序定义为 Poizat 基本序的推广，并通过普遍 Morley 序列与一致性模式对其进行刻画。
• 引入负担2与强2理论类，并利用 Fodor 引理构造 inp-模式，证明 NTP2 可由负担2有界性刻画。
• 使用紧致性与可 indiscernible 性技术分析一致性模式，当负担2无界时导出矛盾。

实验结果

研究问题

• RQ1 NTP2 理论中的分叉是否在扩张基上满足链条件？
• RQ2 能否在 NTP2 理论中为扩张基上的分叉建立独立性定理？
• RQ3 在 NTP2 理论中，Lascar 强类型与紧致强类型是否在扩张基上一致？
• RQ4 分裂序与普遍 Morley 序列的存在性在 NTP2 理论中存在何种关系？
• RQ5 NTP2 是否等价于负担2有界？这与强2理论有何关联？

主要发现

• 在 NTP2 理论中，分裂等价于任意集合上的数组分裂，推广了 Kim 对简单理论的结果。
• 在 NTP2 理论中，分叉在扩张基上满足链条件，解决了 Adler 与 Hrushovski 的一个疑问。
• 在 NTP2 理论中，分叉理想为 S1，从而使得独立性定理可推广至扩张基。
• 在 NTP2 理论中，关于扩张基的独立性定理成立，其在简单理论中退化为经典独立性定理。
• 在 NTP2 理论中，Lascar 强类型与紧致强类型在扩张基上一致。
• 分裂序在 NTP2 理论中定义良好，可通过普遍 Morley 序列与一致性模式刻画；NTP2 等价于负担2有界。