[论文解读] Relative e-spectra and relative closures for families of theories

S. V. Sudoplatov|arXiv (Cornell University)|Jan 1, 2017

Rings, Modules, and Algebras参考文献 2被引用 6

一句话总结

本文引入了相对 e-谱、相对闭包和相对生成集的概念，用于在 E-算子下对一阶理论族进行研究，推广了早期关于 e-谱和闭包的工作。研究证明，若某理论 T 的相对 e-谱小于 2^ω，则其 E-闭包在给定 E-闭集模下具有最小生成集，从而为等价关系下的模型论组合提供了结构表征。

ABSTRACT

We define the notions of relative $e$-spectra, with respect to $E$-operators, relative closures, and relative generating sets. We study properties connected with relative $e$-spectra and relative generating sets.

研究动机与目标

• 将 e-谱、闭包和生成集的概念从绝对情形推广到相对于 E-算子的相对情形。
• 研究在等价关系下理论组合的结构性质，特别关注一阶等价性和可表示性。
• 表征某理论的 E-闭包在给定 E-闭理论族下何时具有最小生成集。
• 阐明相对 e-谱大小与 E-闭族中最小生成集存在性之间的关系。

提出的方法

• 将相对 e-谱定义为：在不与族中任意原始理论一阶等价的 E-类限制下，其一阶非等价模型的数量。
• 引入 E-算子，将一族结构映射为其 E-组合，形成一个结构，其中 E-类对应于各个独立结构。
• 将相对闭包定义为包含给定理论族的最小 E-闭集，且在一阶等价性和 E-组合下封闭。
• 使用 E-可表示性的概念，判断一个与 E-组合一阶等价的模型是否可分解为与原始理论一一对应的一阶等价的 E-类。
• 应用公式 2-树的构造，分析 e-谱的基数，并在假设生成集有界时，推导出不可数 e-谱的矛盾。
• 利用理论空间中的孤立点，并应用定理 4.2，识别 E-闭包的最小生成集。

实验结果

研究问题

• RQ1 在给定 E-闭族下，何时一族理论的 E-闭包具有最小生成集？
• RQ2 什么条件能保证理论 T 的相对 e-谱小于 2^ω，且这与最小生成集的存在性有何关联？
• RQ3 在什么条件下，一个与 E-组合一阶等价的模型是 E-可表示的，即其可分解为每个 E-类均一阶等价于原始理论之一？
• RQ4 理论空间中孤立点的性质如何与 E-闭族中相对生成集的结构相关联？
• RQ5 当理论的 e-谱有界时，其 E-闭包是否仍可具有最小生成集？这对模型论分类有何影响？

主要发现

• 若理论 T 的相对 e-谱小于 2^ω，则 T 与给定 E-闭族的 E-闭包在该族模下具有最小生成集。
• 分解定理（定理 4.5）保证了任意 E-闭族存在不相交且有界大小的生成集，其中一部分为最小，另一部分无孤立点。
• 存在具有无限分支的公式 2-树，将导致不可数 e-谱，与相对 e-谱较小的假设矛盾。
• 构造了一个例子，其中 e-谱恰好为 2^ω，尽管所有原始理论均为孤立的，表明小 e-谱并非最小生成集存在的必要条件。
• E-闭包中孤立理论的集合总是生成集，若其为最小，则构成最小生成集。
• 相对 e-谱在基理论的一阶等价下保持不变，其大小决定了 E-闭包生成结构的复杂性。