[论文解读] Generalized Indiscernibles as Model-complete Theories

Cameron Donnay Hill|arXiv (Cornell University)|Oct 27, 2012

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

一句话总结

本文提出了一种模型论框架，通过将广义可识别性的理论视为通过模型相伴的模型完备理论，统一了拉姆齐类与广义可识别性。它证明了具有无量词基的罗宾逊理论的模型相伴是线性有序有限结构的弗雷歇类的弗雷歇极限的理论，并以纯粹的模型论术语重新证明了拉姆齐性质与自同构群极端可约性之间的等价性。

ABSTRACT

We give an almost entirely model-theoretic account of both Ramsey classes of finite structures and of generalized indiscernibles as studied in special cases in (for example) [7], [9]. We understand "theories of indiscernibles" to be special kinds of companionable theories of finite structures, and much of the work in our arguments is carried in the context of the model-companion. Among other things, this approach allows us to prove that the companion of a theory of indiscernibles whose "base" consists of the quantifier-free formulas is necessarily the theory of the Fraisse limit of a Fraisse class of linearly ordered finite structures (where the linear order will be at least quantifier-free definable). We also provide streamlined arguments for the result of [6] identifying extremely amenable groups with the automorphism groups of limits of Ramsey classes.

研究动机与目标

• 为拉姆齐类与广义可识别性提供一个统一的模型论解释，将先前的结果整合到一个连贯的框架中。
• 将“可识别性理论”形式化为具有无约束建模性质（UMP）的罗宾逊理论，将其与结构拉姆齐性质联系起来。
• 证明具有无量词基的罗宾逊理论的模型相伴必然是线性有序有限结构的弗雷歇类的弗雷歇极限的理论。
• 仅使用模型论工具重新表述并简化拉姆齐性质与自同构群极端可约性之间等价性的证明。
• 为未来分类理论的应用奠定基础，例如通过坍缩可识别性理论来刻画NIP和NSOP理论。

提出的方法

• 在由无量词且闭合的公式构成的基Δ上定义罗宾逊理论，确保其在布尔组合、子公式和变量代换下封闭。
• 引入Δ-嵌入的概念，并通过存在封闭性与Ext(T₀)公理化定义模型相伴，确保初等闭模型满足T₀ ∪ Ext(T₀)。
• 将无约束建模性质（UMP）建立为与T₀的有限模型类中结构拉姆齐性质等价。
• 利用紧致性与有限拉姆齐定理，证明任意T₀-模板在更大模型中均能实现可识别性图像，从而证明UMP蕴含拉姆齐性质。
• 应用斯通空间对偶性，重新表述自同构群在类型空间上的作用，将极端可约性与类型空间中不动点的存在性联系起来。
• 为特定理论（如带有线性序和最近共同祖先关系的树）显式构造弗雷歇极限，证明其满足拉姆齐性质。

实验结果

研究问题

• RQ1 如何在单一模型论框架下统一广义可识别性与拉姆齐类？
• RQ2 具有无量词基的罗宾逊理论的模型相伴的精确模型论特征是什么？
• RQ3 在有限模型类中，无约束建模性质（UMP）在何种条件下与结构拉姆齐性质等价？
• RQ4 如何仅使用模型论工具重新证明拉姆齐性质与自同构群极端可约性之间的等价性？
• RQ5 弗雷歇极限在实现可识别性理论的模型相伴中起什么作用？

主要发现

• 具有无量词公式构成的基Δ的罗宾逊理论T₀的模型相伴必然是线性有序有限结构的弗雷歇类的弗雷歇极限的理论。
• 罗宾逊理论T₀的无约束建模性质（UMP）与T₀的有限模型类中的结构拉姆齐性质等价。
• 若弗雷歇类满足拉姆齐性质，则其弗雷歇极限的自同构群是极端可约的，反之亦然，该结论通过类型空间作用得以证明。
• 带有线性序、最近共同祖先关系及兄弟顺序谓词的理论T₀是罗宾逊理论，其有限模型构成一个具有拉姆齐性质的弗雷歇类。
• T₀的弗雷歇极限通过在有限序列树上的归纳粘合过程构建，得到一个可数且有限泛化的模型。
• T₀的模型相伴T₀*由T₀ ∪ Ext(T₀)公理化，且每个T₀的模型均可初等（Δ-意义下）嵌入到一个满足T₀*的初等闭模型中。