着色线性序指标结构下的广义树性质：c-TP与不稳定性、TP1及IP的等价刻画

《The Journal of Symbolic Logic》：RESULTS ON COLORED TREE PROPERTIES

　　

本文引入了若干熟知的模型论树性质（tree properties, TPs）的新变体，并证明了它们与已知性质的若干等价性。受广义不可区分元（generalized indiscernibles）研究的推动，研究人员对任意Ramsey指标结构（Ramsey index structure）I引入了I-树性质（I-TP）的概念。研究人员重点关注着色线性序指标结构c，证明了c-TP等价于不稳定性（instability）。在引入c-TP₁与c-TP₂之后，研究人员证明了c-TP₁等价于TP₁，且c-TP₂等价于独立性质（independence property, IP）。研究人员看到这三个TP给出了一个二分法定理，正如TP、TP₁与TP₂那样。在此过程中，研究人员观察到适当推广的树指标结构I^<ω是Ramsey的，从而允许使用广义树不可区分元（generalized tree indiscernibles）。

**1. 研究背景与问题**

模型论中长期关注对分块公式φ(x,y)定义的组合“图案性质”（patterning properties），例如序性质、树性质（tree property, TP）与独立性质（independence property, IP）。稳定、简单与NIP理论分别由否定某些这类性质所刻画。Shelah与Bailetti等人通过指标结构变化系统研究图案性质，本文沿用这一思路，将经典树性质中的“水平”指标结构ω替换为任意Ramsey指标结构I，从而引入I-树性质（I-TP）。选择着色线性序c作为主要指标结构的原因在于：它是线性序的微小变形，但包含多个交替出现的无自由量词1型；这种看似微小的变化可能产生与线性序情形本质不同的划分线。此外，广义不可区分元（generalized indiscernibles）的研究要求指标结构具有建模性质（modeling property），而c是Ramsey指标结构，适合用于构造不可区分实例。

**2. 研究内容与主要结论**

研究人员引入了I-TP，并系统研究了c-TP、c-TP₁、c-TP₂。主要结论为：c-TP等价于不稳定性；c-TP₁等价于TP₁；c-TP₂等价于IP。由此三者构成与经典TP、TP₁、TP₂类似的二分法定理。同时，广义树指标结构I^<ω在适当语言下是Ramsey的，故可使用广义树不可区分元。这些结果为稳定性与NIP提供了新的正刻画，因为I-TP的定义只使用φ的正实例而不使用?φ。

**3. 主要技术方法**

本文是纯理论模型论研究，不涉及样本队列。关键技术包括：利用Scow定理，将指标结构Age(I)为Ramsey类与I-指标不可区分元的建模性质联系起来；借助Ne?et?il与R?dl的结果证明着色线性序c是Ramsey结构。为处理广义树，研究人员对I^<κ赋予语言L_s,κ,I与L_0,I，并用紧致性证明相应树不可区分元具有建模性质，还建立了强I-不可区分数组。为刻画不相容性，将经典k-不相容推广为q-不相容；证明中反复使用紧致性、鸽巢原理以及Shelah第一二分定理（不稳定理论具有IP或严格序性质（strict order property, SOP））。

**4. 研究结果分述**

**2 广义不可区分性（Generalized indiscernibility）**

该节定义了I-指标不可区分元，并说明若Age(I)是Ramsey类，则I-指标不可区分元具有建模性质。由此，着色线性序c是Ramsey指标结构；且c与具有相同年龄的周期着色线性序ω-c_k可互换使用。

**3 新树不可区分性（New tree indiscernibilities）**

对Ramsey指标结构I，令I^<ω装备L_s,κ,I或L_0,I结构，均具有建模性质；强I-不可区分数组也存在。这为后文将c-TP的见证树取为不可区分树提供了依据。

**4 广义划分与q-不相容（Generalized dividing and q-inconsistency）**

该节将划分（dividing）推广为I-划分；由于c中不同颜色具有不同无自由量词型，经典k-不相容须改为q-不相容。命题4.6证明I-局部特征成立当且仅当不存在q-不相容的I-划分链；命题4.7说明无穷集理论T_∞没有c-局部特征，故c-局部特征不能给出类似简单的分类。

**5 着色树性质（The colored tree property）**

该节定义I-TP后，证明随机图具有c₂-TP，从而IP理论具有c-TP；TP理论也有c-TP。通过Shelah第一二分定理，所有不稳定理论都有c-TP；反过来定理5.11证明c-TP公式必不稳定，故定理5.12：理论不稳定当且仅当具有c-TP。推论5.13表明不同颜色数的c_k-TP在理论层次上合一；推论5.15进一步将等价性推广到具有至少两个交替的非代数无自由量词1型的Ramsey指标结构。

**6 第一类与第二类着色树性质（Colored tree properties of the first and second kinds）**

该节定义c-TP₁与c-TP₂。定理6.3证明：若公式有c-TP₁，则某个φ实例的合取有TP₁；反之TP₁公式也有c-TP₁，因此理论层面c-TP₁等价于TP₁。例6.6显示随机图有c-TP₂；推论6.7证明着色树性质二分法定理：理论有c-TP当且仅当有c-TP₁或c-TP₂。定理6.9通过归纳构造证明：c-TP₂的公式的合取给出IP，而IP也给出c-TP₂，故理论层面c-TP₂等价于IP。

**5. 讨论与结论**

讨论部分指出，广义划分可视为Malliaris与Shelah的shearing的简化版本，但二者有实质差异：广义划分允许由不同无自由量词型（如不同颜色）的指标造成不相容，而shearing要求同一无自由量词型内的不相容。c-局部特征因过强而平凡，这促使研究人员转向c-TP的研究；c-TP则给出非平凡且有意义的不稳定性刻画。全文结论可概括为：理论不稳定当且仅当具有c-TP；理论具有TP₁当且仅当具有c-TP₁；理论具有IP当且仅当具有c-TP₂；并且c-TP、c-TP₁、c-TP₂三者满足与经典TP、TP₁、TP₂类似的二分法定理。此外，适当推广的树指标结构I^<ω是Ramsey的，因而广义树不可区分元可用于此类性质的研究。