[논문 리뷰] Categoricity of theories in L_{kappa, omega}, when kappa is a measurable cardinal. Part 1

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

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_{κ,ω}에서 큰 기수에서의 카테고리시틱성은 모델 집합에 강력한 구조적 제약을 초래함을 시사한다.