[論文レビュー] 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(λ)+ での分類的性を示すかを検証する。
• シャラの優れたクラスの枠組みを応用し、分類的性が失敗する境界条件を評価する。

実験結果

リサーチクエスチョン

• RQ1 L(2λ)+,ω に属する文 ψ が λ, λ+, ..., λ+k で分類的であるとき、ℶk+1(λ)+ でも分類的であるか？
• RQ2 Łoś 予想を Lω1,ω 文の非可算な文脈に拡張できるか？
• RQ3 L(2λ)+,ω に属する文の分類的スペクトルにおいて、分類的性が失敗する正確な閾値は何か？
• RQ4 優れた条件が成り立たない状況下で、文の分類的スペクトルはどのように振る舞うか？
• RQ5 シャラの優れたクラスに関する予想は、非可算な分類的性の文脈でどの程度成立するか？

主な発見

• この論文は、L(2λ)+,ω に属する文 ψ を構成し、それが λ, λ+, ..., λ+k で分類的であるが、ℶk+1(λ)+ ではそうでないことを示している。
• これは、λ+k までのすべてのより小さい基数で分類的であっても、ℶk+1(λ)+ で分類的でないことがあることを示している。
• この結果は、非可算な設定において Lω1,ω 文に対して Łoś 予想が一般に成り立たないことを示している。
• この構成は、非初等的論理へのモーリー定理の自然な一般化に対する反例を提供している。
• 分類的性の失敗は、ちょうど ℶk+1(λ)+ で発生しており、分類的スペクトルにおける鋭い閾値が存在することを示している。