[论文解读] Categoricity may fail late

Saharon Shelah, Andrés Villaveces|arXiv (Cornell University)|Apr 14, 2004

Advanced Topology and Set Theory参考文献 5被引用 6

一句话总结

本文在 L(2λ)+,ω 中构造了一个句子 ψ，该句子在所有基数 λ, λ+, ..., λ+k 上是范畴的，但在 ℶk+1(λ)+ 上不是范畴的，从而表明范畴性在更高基数上可能失效。该结果将早期工作推广至不可数情形，并通过展示范畴性在良好行为类中未必能超越特定界限，挑战了在非初等逻辑中 Łoś 猜想的有效性。

ABSTRACT

(648) revision:2002-10-21 modified:2002-10-21 We build an example that generalizes [HS90] to uncountable cases. In particular, our example yields a sentence ψ ∈ L (2λ)+,ω that is categorical in λ, λ +,..., λ +k but not in ℶk+1(λ) +. This is connected with the ̷Lo´s Conjecture and with Shelah’s own conjecture and construction of excellent classes for the ψ ∈ Lω1,ω case. 1 The ̷Lo´s Conjecture, without excellence Early results on the Categoricity Spectrum launched the development of Stability Theory and Classification Theory for first order logic. In the natural quest for generalizing the powerful results of those theories to Nonelementary Classes, some questions on Categoricity – specifically, the status of the ̷Lo´s Conjecture (=Morley Theorem in First Order) – became a crucial test question. Among the specific issues studied, the following is central. Question 1.1 Old folklore question: what is the status of the ̷Lo´s Conjecture ( = Morley Theorem in the first order case) for ψ ∈ Lω1,ω? The first author’s research was partially supported by ‘BSF ’ (USA-Israel); Publication no 648 in the first author’s publication list. The second author was sponsored by Colciencias and Semilleros de Investigación, Universidad Nacional de Colombia.

研究动机与目标

• 研究非初等逻辑中范畴性的极限，特别是不可数基数的情形。
• 将 [HS90] 的结果从可数情形推广至不可数情形。
• 考察 Lω1,ω 中句子的 Łoś 猜想状态及其对分类理论的影响。
• 探讨在一系列基数上范畴性是否意味着在某一阈值之后仍保持范畴性。
• 分析在缺乏优秀类条件时，范畴性失效的背景。

提出的方法

• 使用模型论技术构造一个句子 ψ ∈ L(2λ)+,ω，以控制其范畴性谱系。
• 将 [HS90] 中方法的推广应用于处理不可数基数。
• 通过考察不同基数下模型的存在性与唯一性来分析范畴性谱系。
• 利用 Łoś 猜想框架检验：若句子在 λ, λ+, ..., λ+k 上是范畴的，是否意味着在 ℶk+1(λ)+ 上也是范畴的。
• 应用 Shelah 的优秀类框架，评估范畴性失效的边界条件。

实验结果

研究问题

• RQ1 对于句子 ψ ∈ L(2λ)+,ω，其在 λ, λ+, ..., λ+k 上的范畴性是否意味着在 ℶk+1(λ)+ 上也是范畴的？
• RQ2 Łoś 猜想能否推广至不可数情境下的 Lω1,ω 句子？
• RQ3 L(2λ)+,ω 句子的范畴性可能失效的确切阈值是什么？
• RQ4 在缺乏优秀类条件时，句子的范畴性谱系如何表现？
• RQ5 Shelah 关于优秀类的猜想在不可数范畴性背景下在多大程度上成立？

主要发现

• 本文构造了一个句子 ψ ∈ L(2λ)+,ω，其在 λ, λ+, ..., λ+k 上是范畴的，但在 ℶk+1(λ)+ 上不是范畴的。
• 这表明，即使在所有低于 λ+k 的基数上范畴性都成立，范畴性仍可能在 ℶk+1(λ)+ 失效。
• 该结果表明，Łoś 猜想在不可数设定下对 Lω1,ω 句子并不普遍成立。
• 该构造为 Morley 定理向非初等逻辑的自然推广提供了一个反例。
• 范畴性的失效恰好发生在 ℶk+1(λ)+，表明范畴性谱系中存在一个明确的临界点。