[论文解读] Categoricity of theories in L_{kappa, omega}, when kappa is a measurable cardinal. Part 1

Oren Kolman, Saharon Shelah|arXiv (Cornell University)|Feb 15, 1996

Advanced Topology and Set Theory被引用 9

一句话总结

本文研究当 κ 为可测基数时，无穷逻辑 L_{κ,ω} 中的范畴性。假设理论 T 在某个基数 λ ≥ κ 上是范畴的，本文证明了大小为 |T| + κ 的 T 的模型类具有并合性质，从而推进了对大基数上模型论结构的理解。

ABSTRACT

We assume a theory T in the logic L_{kappa omega} is categorical in a cardinal lambda >= kappa, and kappa is a measurable cardinal. Here we prove that the class of model of T of cardinality = |T|+ kappa) has the amalgamation property; this is a step toward understanding the character of such classes of models.

研究动机与目标

• 理解当理论 T 在大基数 λ ≥ κ 上是范畴时，L_{κ,ω} 逻辑中 T 的模型类的结构性质。
• 研究此类模型类是否表现出并合性质，这是模型论中的一个关键结构性特征。
• 通过在大基数假设下分析模型类，为抽象基本类的分类理论做出贡献。
• 探讨 L_{κ,ω} 中的范畴性对大小为 |T| + κ 的模型行为的影响。

提出的方法

• 假设 T 是 L_{κ,ω} 中的一个理论，且在某个基数 λ ≥ κ 上是范畴的，其中 κ 是一个可测基数。
• 应用适用于抽象基本类和无穷逻辑的模型论技术。
• 利用可测基数的存在性，推导出模型类的结构性质。
• 分析大小为 |T| + κ 的 T 的模型类，以确立并合性质。
• 运用集合论和大基数性质的工具，约束模型的结构。
• 依赖于这样一个事实：在大基数上范畴性意味着模型的强同质性和唯一性。

实验结果

研究问题

• RQ1 当 T 在 λ ≥ κ 上是范畴的且 κ 是可测基数时，L_{κ,ω} 逻辑中大小为 |T| + κ 的 T 的模型类是否具有并合性质？
• RQ2 在大基数假设下，L_{κ,ω} 中的范畴性对模型类施加了哪些结构性约束？
• RQ3 可测基数的存在如何影响 L_{κ,ω} 中理论的模型论行为？
• RQ4 当基数为 |T| + κ 时，能否从 L_{κ,ω} 中的范畴性推导出并合性质？
• RQ5 可测基数在确保模型类的结构一致性方面起什么作用？

主要发现

• 大小为 |T| + κ 的 T 的模型类满足并合性质。
• 在 T 在基数 λ ≥ κ 上是范畴的且 κ 是可测基数的假设下，并合性质成立。
• 该结果在基数 |T| + κ 上建立了 T 的模型类的结构一致性。
• 证明依赖于范畴性、大基数性质以及无穷逻辑中模型论稳定性之间的相互作用。
• 研究结果表明，L_{κ,ω} 中在大基数上的范畴性会导致对模型类的强烈结构性约束。