[논문 리뷰] Categoricity may fail late

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

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ś 추측의 상태와 분류 이론에 대한 함의를 검토하는 것.
• 연속된 기수에서의 카테고리컬리티가 특정 임계값을 초월해 카테고리컬리티를 유도하는지 탐구하는 것.
• Shelah의 우수한 클래스에 대한 추측의 맥락에서 카테고리컬리티의 실패를 분석하는 것.

제안 방법

• 모델이론적 기법을 사용하여 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(λ)+에서 카테고리컬리티가 실패할 수 있음을 보여준다.
• 이 결과는 Lω1,ω 문장에 대해 비가산 맥락에서 Łoś 추측이 일반적으로 성립하지 않음을 시사한다.
• 이 구성은 비원소논리로의 Morley 정리 자연적 일반화에 대한 반례를 제공한다.
• 카테고리컬리티의 실패는 정확히 ℶk+1(λ)+에서 발생하며, 이는 카테고리컬리티 스펙트럼에 명확한 임계값이 있음을 나타낸다.