[논문 리뷰] No limit model in inaccessible

Saharon Shelah|arXiv (Cornell University)|2007. 05. 29.

Advanced Topology and Set Theory참고 문헌 3인용 수 6

한 줄 요약

이 논문은 강한 무한한 $\lambda$일 때, 강한 독립적인 일阶논리 이론에 대해 $(\lambda,\kappa)$-극한 모델의 존재하지 않음을 증명하고, 일반 쌍 추측의 강한 형태를 제시한다. 클럽 필터와 포화성에 관한 모델 이론적 기법을 사용하여, 이전의 비강한 극한 기수에서의 부정적 결과를 강한 무한한 기수로 확장하며, 이러한 조건 하에서 그러한 극한 모델이 존재할 수 없음을 입증한다.

ABSTRACT

Our aim is to improve the negative results i.e. non-existence of limit models, and the failure of the generic pair property from math.LO/0609636 to inaccessible lambda as promised there. The motivation is that in [Sh:F756] the positive results are for lambda measurable hence inaccessible, whereas in math.LO/0609636 in the negative results obtained only on non-strong limit cardinals.

연구 동기 및 목표

• 이전 연구에서 약속한 linen{strongly inaccessible $\lambda$}로의 확장을 통해, 비강한 극한 기수에서의 $(\lambda,\kappa)$-극한 모델의 존재하지 않음을 강한 무한한 $\lambda$로 확장한다.
• 강한 무한한 $\lambda$에서 강한 독립적인 이론에 대해 일반 쌍 추측의 강한 형태를 증명한다. 이때 $\lambda^+ = 2^\lambda$를 가정한다.
• 극한 모델과 일반 쌍 성질에 관한 부정적 결과를 강한 무한한 기수의 경우로 일반화하여, 큰 기수 맥락에서의 모델 이론적 행동에 대한 이해를 강화한다.
• 강한 무한한 $\lambda$이면서 $T$가 강한 독립적일 때, 크기가 $\lambda$인 모델에서 포화성과 원소적 성질의 실패를 조사한다.

제안 방법

• 강한 무한한 $\lambda$에서 클럽 필터 ${{\mathscr{D}}}_\lambda$를 사용하여 크기가 $\lambda$인 모델의 유형과 포화성 성질을 분석한다.
• 비유계 집합 ${{\mathscr{P}}}^{\text{ub}}(\delta)$와 유형 공간 $\mathbb{S}^n(M)$의 개념을 적용하여 특정 실현 패턴을 가진 모델을 구성한다.
• 역전 $\text{inv}^5_\varphi(\delta, \text{id}, M_{\gamma(1)}, M_{\gamma(2)})$와 그 초월곱을 사용하여 유형의 융합과 비동형성을 분석한다.
• 특정 유형 $p_\varepsilon$를 실현하는 시퀀스 $\langle a_\alpha : \alpha < \lambda \rangle$를 가진 원소적 확장 $N \succ M_{\gamma(*)}$를 구성한다. 이 유형은 함수 $F$와 집합 $\mathbb{D}_{\eta_\varepsilon}$에 의해 정의된다.
• 클럽 $E \subseteq \lambda^+$를 사용하여, $\alpha_1 < \alpha_2$, $\beta_1 < \beta_2$인 $E$의 원소에 대해 쌍 $(M_{\alpha_2}, M_{\alpha_1})$과 $(M_{\beta_2}, M_{\beta_1})$이 동형이 아니라고 보장한다.
• $\odot_6$와 $\odot_7$ 기법을 적용하여, 특정 유형 집합이 관련된 $\mathbb{P}^{\gamma(1),\gamma(2)}_\mu$ 가족에 속하지 않도록 하여 동형을 차단한다.

실험 결과

연구 질문

• RQ1 강한 독립적인 이론에 대해, 비강한 극한 기수에서의 $(\lambda,\kappa)$-극한 모델의 존재하지 않음이 강한 무한한 $\lambda$로 확장되는가?
• RQ2 강한 무한한 $\lambda$에서 강한 독립적인 이론에 대해 일반 쌍 추측의 강한 형태를 증명할 수 있는가?
• RQ3 강한 무한한 $\lambda$이면서 $T$가 강한 독립적일 때, 크기가 $\lambda$인 모델의 구조는 어떻게 되는가?
• RQ4 특정 유형 패턴을 실현하지 않도록 하여 모델 쌍 간의 동형을 차단할 수 있는 크기 $\lambda$의 모델을 구성할 수 있는가?
• RQ5 $\lambda^+ = 2^\lambda$의 성질과 $\lambda$ 위의 클럽 필터가 어떻게 작용하여 극한 모델의 존재를 방지하는가?

주요 결과

• 모든 강한 독립적인 이론 $T$와 강한 무한한 $\lambda > |T|$에 대해, 가장 강한 의미에서라도 $(\lambda,\kappa)$-극한 모델은 존재하지 않는다.
• 강한 독립적인 $T$에 대해 강한 무한한 $\lambda$에서 일반 쌍 추측의 강한 형태가 성립한다. 즉, 일부 모델 쌍은 원소적 임bedding 하에 동형이 될 수 없다.
• 크기가 $\lambda$인 모델 $M_{\alpha}$를 $\alpha < \lambda^+$로 구성하면, $\alpha_1 < \alpha_2$, $\beta_1 < \beta_2$인 $E \subseteq \lambda^+$의 클럽이 존재하여, $\alpha_2 \neq \beta_2$일 때 쌍 $(M_{\alpha_2}, M_{\alpha_1})$과 $(M_{\beta_2}, M_{\beta_1})$은 동형이 아니다.
• 비동형성 결과는 특정 유형 집합 $\{\gamma < \mu : N' \models \varphi[a_\gamma, \bar{b}]\}$이 관련된 $\mathbb{P}^{\gamma(1),\gamma(2)}_\mu$ 가족에 속하지 않도록 함으로써 확립되며, 이는 원소적 동형을 차단한다.
• 증명은 시퀀스 $\langle a_\alpha \rangle$와 $p_\varepsilon$에 의한 유형 실현을 신중히 선택하여, 클럽의 순서수 집합 전반에 걸쳐 요구되는 실현되지 않은 조건이 균일하게 유지됨을 보장한다.
• $\lambda^+ = 2^\lambda$의 가정은 일반 쌍 추측의 서술를 단순화하기 위해 사용되며, 핵심 결과는 강한 무한한 $\lambda$에 대해 더 일반적으로 성립한다.