[论文解读] Stable theories and representation over sets

M. Cohen, Saharon Shelah|ArXiv.org|Jun 17, 2009

Constraint Satisfaction and Optimization被引用 4

一句话总结

本文证明了：一阶理论 T 是稳定的，当且仅当其所有模型均可通过涉及自由代数和丰富结构的特定构造，在集合上实现表示。关键贡献在于将稳定理论表征为恰好那些其模型可在通过迭代丰富函数与划分构造出的基于集合的结构类中实现表示的理论；对于 ω-稳定理论，利用强独立分解可获得更强的结果。

ABSTRACT

In this paper we explore the representation property over sets. This property generalizes constructibility, however is weak enough to enable us to prove that the class of theories $T$ whose models are representable is exactly the class of stable theories. Stronger results are given for omega-stable.

研究动机与目标

• 通过基于集合的表示性质表征稳定的一阶理论。
• 通过引入一种更弱的、基于集合的表示框架，推广可构造性。
• 确立具有可表示模型的理论类恰好与稳定理论类一致。
• 利用强独立分解，为 ω-稳定理论提供更强的结构结果。
• 表明可从此类理论的模型中长序列提取出不可区分序列。

提出的方法

• 将 Exμ,κ¹(𝒦) 和 Exμ,κ²(𝒦) 定义为通过向 𝒦 中的模型添加划分 Pα 和部分函数 Fβ 而获得的丰富结构类。
• 引入结构 I 上的自由代数 ℳμ,κ(I)，其由使用新函数符号 Fα,β（不同元数）构造的项构成。
• 使用 θμ,κ = |ℳμ,κ(κ)| 衡量项代数的大小，并控制构造中的基数。
• 将 (Γ,Δ)-表示 f:M→I 定义为保持 M 与 I 之间类型信息的映射，满足类型相等性条件及对函数的封闭性。
• 为 ω-稳定模型构造强独立分解 ⟨𝕀n:n<ω⟩，其中每个 𝕀n 在封闭性与非分叉扩张唯一性下均极大。
• 应用超限归纳法与非分叉扩张性质，扩展部分自同构，同时保持类型与独立性。

实验结果

研究问题

• RQ1 哪些一阶理论的模型可通过可定义函数与划分，在基于集合的丰富模型中作为子结构实现表示？
• RQ2 具有此类表示的理论类是否恰好等于稳定理论类？
• RQ3 ω-稳定理论能否通过存在具有唯一非分叉扩张的强独立分解来表征？
• RQ4 在该表示框架下，非分叉扩张与独立性如何相互作用？
• RQ5 能否利用该表示框架，从稳定理论模型中的长序列（长度超过 θμ,κ）中提取出不可区分序列？

主要发现

• 一阶理论 T 是稳定的，当且仅当存在 μ₁,κ₁,μ₂,κ₂，使得 T 是 Exμ₁,κ₁¹(Exμ₂,κ₂²(𝒦^eq))-可表示的。
• 每个稳定理论的模型均可在通过迭代丰富划分与部分函数构造出的结构中实现表示。
• 对于 ω-稳定理论，每个模型均存在强独立分解 ⟨𝕀n:n<ω⟩，使得每个元素的类型由其前面成分的有限子集唯一确定。
• 此类分解的存在性使得可从长度超过 θμ,κ 的长序列中提取出不可区分序列（对适当的 μ,κ）。
• 该表示框架在自同构下保持类型信息，确保目标结构中的类型相等性蕴含原模型中的类型相等性。
• 该构造确保非分叉扩张在表示下行为良好，从而可在分解的各层次间归纳传递类型性质。