[论文解读] Few non-minimal types and non-structure

Saharon Shelah|ArXiv.org|Jun 3, 1999

Logic, programming, and type systems参考文献 4被引用 4

一句话总结

本文通过在基数 λ 下假设可 amalgamate 且极小类型不稠密，利用弱对角线（weak diamond）和 pcf 理论，解决了稳定性理论中的模型论问题，证明了在 λ⁺ 中存在许多非同构模型。其主要贡献在于对极小类型较少的理论给出了结构性非结构结果。

ABSTRACT

We pay two debts from [Sh:576] (math.LO/9805146). The main demands little knowledge from [Sh:576], just quoting a model theoretic consequence of the weak diamond. We assume that K has amalgamation in lambda, and that the minimal types are not dense to get many non-isomorphic models in lambda^+. For this also pcf considerations are relevant. The minor debt was the use in one point of [Sh:576] of lambda not= aleph_0, it is minor as for this case by [Sh:88] we ``usually'' know more.

研究动机与目标

• 解决 Shelah 之前工作 [Sh:576] 中未解决的两个技术问题，特别是关于 λ ≠ ℵ₀ 的作用以及弱对角线的模型论后果。
• 在极小类型在具有 λ 中可 amalgamate 的理论中不稠密的假设下，证明 λ⁺ 中存在许多非同构模型。
• 通过将 pcf 理论融入对非极小类型的分析，扩展模型论中的结构性结果。
• 在非结构定理的背景下，为 pcf 理论提供一个模型论应用。
• 通过参考 [Sh:88]，完成 [Sh:576] 中的技术债务，处理 λ = ℵ₀ 的情况，其中更强的结果已知。

提出的方法

• 利用弱对角线原理，推导出与非同构模型数量相关的模型论后果。
• 应用 pcf 理论分析类型在给定基数模型中的结构及其分布。
• 通过类型分裂和饱和性论证，利用 λ 中的可 amalgamate 性质在 λ⁺ 中构造多样化的模型。
• 依赖弱对角线的一个模型论后果，确保在极小类型不稠密时，存在许多非同构模型。
• 结合稳定性理论技术与集合论工具（pcf 和弱对角线），推导出非结构结果。
• 引用 [Sh:88] 来处理特殊情况 λ = ℵ₀，其中更强的模型论知识已存在。

实验结果

研究问题

• RQ1 在何种条件下，具有 λ 中可 amalgamate 的理论在 λ⁺ 中不具有唯一模型？
• RQ2 极小类型不稠密如何影响 λ⁺ 中非同构模型的数量？
• RQ3 弱对角线原理在非极小类型背景下生成非同构模型中起什么作用？
• RQ4 pcf 理论在模型论的非结构定理中以何种方式作出贡献？
• RQ5 如何通过 [Sh:88] 中的已有结果，解决 [Sh:576] 中与 λ = ℵ₀ 相关的技术缺口？

主要发现

• 当极小类型在具有 λ 中可 amalgamate 的理论中不稠密时，λ⁺ 中至少存在 2^λ⁺ 个非同构模型。
• 弱对角线原理在给定假设下，意味着存在许多非同构模型。
• 极小类型不稠密导致 λ⁺ 中 κ-稳定性失败，从而促成非结构。
• pcf 理论在分析类型及其对模型数量影响的组合结构中至关重要。
• λ = ℵ₀ 的情况通过参考 [Sh:88] 解决，其中更强的模型论结果已知。
• 本文通过处理 λ ≠ ℵ₀ 的假设及其后果，完成了 [Sh:576] 中的技术债务。