[논문 리뷰] Model Theory for a Compact Cardinal

Saharon Shelah|arXiv (Cornell University)|2013. 03. 21.

Advanced Topology and Set Theory참고 문헌 13인용 수 4

한 줄 요약

이 논문은 $ heta$가 컴팩트 카디널일 때, 무한기 논리 $\mathbb{L}_{\theta,\theta}$에서 완비 이론에 대한 분류 이론을 개발한다. 안정성, 포화, Keisler 유형 순서 개념을 이 설정으로 일반화하여, $T$가 $\trianglelefteq^{\mathrm{ful}}_{\lambda,\theta}$-최소임과 정확히 동치임을 증명한다. 이는 고전적 모델 이론적 분류를 $\mathbb{L}_{\theta,\theta}$-이론으로 확장한다.

ABSTRACT

We like to develop model theory for $T$, a complete theory in $\mathbb{L}_{θ,θ}(τ)$ when $θ$ is a compact cardinal. By [Sh:300a] we have bare bones stability and it seemed we can go no further. Dealing with ultrapowers (and ultraproducts) we restrict ourselves to ``$D$ a $θ$-complete ultrafilter on $I$, probably $(I,θ)$-regular". The basic theorems work, but can we generalize deeper parts of model theory? In particular can we generalize stability enough to generalize [Sh:c, Ch.VI]? We prove that at least we can characterize the $T$'s which are minimal under Keisler's order, i.e. such that $\{D:D$ is a regular ultrafilter on $λ$ and $M \models T \Rightarrow M^λ/D$ is $λ$-saturated$\}$. Further we succeed to connect our investigation with the logic $\mathbb{L}^1_{< θ}$ introduced in [Sh:797]: two models are $\mathbb{L}^1_{< θ}$-equivalent iff \, for some $ω$- sequence of$θ$-complete ultrafilters, the iterated ultra-powers by it of those two models are isomorphic.

연구 동기 및 목표

• 완비 $\mathbb{L}_{\theta,\theta}$-이론에 대해 $\theta$가 컴팩트 카디널일 때, 분류 이론—특히 안정성과 포화—를 확장하는 것.
• Keisler 순서 $\triangleleft$와 $\triangleleft^*$를 $\mathbb{L}_{\theta,\theta}$로 일반화하여, 초입자와 초극한의 포화를 측정하는 것.
• 국소 및 전반적 유형을 사용하여 $\mathbb{L}_{\theta,\theta}$-이론의 포화 성질에서 최소성의 특성화를 하는 것.
• 이 무한기 맥락에서 비독립 체인 조건(n.c.p.)의 국소적 및 전반적 개념 간의 관계를 명확히 하는 것.
• $\theta$의 기수를 가진 이론 $T$가 $\trianglelefteq^{\mathrm{ful}}_{\lambda,\theta}$의 의미에서 최소임을 만족하는 조건을 확립하여, 고전 결과를 $\mathbb{L}_{\theta,\theta}$로 확장하는 것.

제안 방법

• $\theta$-완비이고 $(\lambda,\theta)$-정규 초점수를 사용하여 $\mathbb{L}_{\theta,\theta}$-이론에서 초입자와 초극한을 분석하는 것.
• 단일 공식 $\varphi(\bar{x},\bar{y})\in\mathbb{L}_{\theta,\theta}$를 포함하는 유형에 대한 국소 포화 개념을 도입하여 일阶 논리 포화 개념을 일반화하는 것.
• 안정성의 두 가지 버전을 정의한다: 하나는 초입자의 국소 포화에 기반하고, 다른 하나는 $|T_1|=|T|+2^\theta$를 만족하는 $T_1\supseteq T$가 존재하여, $T_1$의 모델이 $\lambda^+$-포화된 $\tau(T)$-축약을 유도하는 것에 기반한다.
• Łoś의 정리와 초점수 정규성의 응용을 통해 개별 모델의 성질을 초곱으로 전이하는 것.
• $\theta$-n.c.p.(비독립 체인 조건)와 그 전반적 변형을 사용하여 최소성의 특성화를 하는 것.
• 초극한에서의 유형 실현을 분석하기 위해 인덱스 집합 $I$에 대한 함수 $\mathbf{h}:I\to\theta$와 $\mathbf{h}_*$를 통한 분할 논증을 사용하는 것.

실험 결과

연구 질문

• RQ1 첫째, $\theta$가 컴팩트 카디널일 때, 일阶 모델 이론에서의 안정성과 포화 개념을 $\mathbb{L}_{\theta,\theta}$-이론으로 의미적으로 일반화할 수 있는가?
• RQ2 둘째, 첫째의 Keisler 순서 최소성과 유사한 $\trianglelefteq^{\mathrm{ful}}_{\lambda,\theta}$-최소성의 특성화가 존재하는가?
• RQ3 셋째, $\mathbb{L}_{\theta,\theta}$-이론에서 $\theta$-n.c.p.의 국소적 및 전반적 형태 간의 관계는 무엇인가?
• RQ4 넷째, 모든 $M_1\models T_1$가 $\lambda^+$-포화된 $\tau(T)$-축약을 유도하는 $T_1\supseteq T$가 $|T|+2^\theta$의 크기를 가질 수 있다는 사실이 최소성의 특성화에 사용될 수 있는가?
• RQ5 다섯째, 정의 가능한 안정성과 전반적 $\theta$-n.c.p.은 $\mathbb{L}_{\theta,\theta}$-이론에서 $\trianglelefteq^{\mathrm{ful}}_{\lambda,\theta}$-최소성과 어떻게 관련되어 있는가?

주요 결과

• 논문은 $T$가 $\trianglelefteq^{\mathrm{ful}}_{\lambda,\theta}$-최소임과 정확히 동치임을 증명한다. 이는 정의 가능한 안정성과 전반적 $\theta$-n.c.p.을 만족할 때 성립한다.
• 초입자 포화와 포화된 축약을 유도하는 $T_1\supseteq T$의 존재를 통한 두 가지 최소성 개념은, 반례를 통해 동치가 아님을 보였다.
• 정의 가능한 안정성과 전반적 $\theta$-n.c.p.은 $\theta$의 기수를 가진 $\mathbb{L}_{\theta,\theta}$-이론에서 $\trianglelefteq^{\mathrm{ful}}_{\lambda,\theta}$-최소성과 정확히 동치임을 특성화한다.
• 증명은 인덱스 집합 $I$에 대한 함수 $\mathbf{h}:I\to\theta$를 구성하고, $\theta$-완비 초점수에 대해 그 행동을 분석하여 초극한에서의 유형 실현을 제어하는 데 의존한다.
• 전반적 $\theta$-n.c.p.은 국소 $\theta$-n.c.p.보다 엄밀히 강력하며, 최소성의 특성화에 있어 이 둘의 차이가 필수적이다.
• 결과는 첫째의 분류 이론 결과를 $\mathbb{L}_{\theta,\theta}$로 일반화하여, 무한기 논리에서 안정성 이론의 향후 발전을 위한 기초를 제공한다.