[논문 리뷰] The universality spectrum: Consistency for more classes

Saharon Shelah|arXiv (Cornell University)|1994. 12. 15.

Advanced Topology and Set Theory참고 문헌 7인용 수 16

한 줄 요약

이 논문은 ZFC 하에서 모형 이론적 클래스에서 보편 모델의 일致성과 한계를 조사하며, $T_{\text{feq}}$ (인덱스화된 동치관계 이론)와 삼각형 없는 그래프에 초점을 맞춘다. 포스팅과 pcf 이론을 사용하여, 단일 순서수 가설(SCH)의 실패 하에서 $T_{\text{feq}}$에 대한 보편 모델이 특정 불가측한 기수에서 존재하지 않음을 증명하고, $\text{pp}_{\Gamma(\theta)}(\mu)$를 통해 보편 스펙트럼의 하한을 제시하며, 특정 집합론적 가정 하에서 ZFC 내에서의 존재하지 않음 결과를 보여준다.

ABSTRACT

We deal with consistency results for the existence of universal models in natural classes of models (more exactly--a somewhat weaker version). We apply a result on quite general family to T_feq and to the class of triangle-free graphs.

연구 동기 및 목표

• ZFC 하에서 모형 이론적 클래스에서 보편 모델의 일치성과 한계를 조사하는 것.
• $T_{\text{feq}}$의 보편 스펙트럼을 분석하며, 이는 인덱스화된 동치관계 이론이며 트리 순서 성질을 가진다.
• 단일 순서수 가설(SCH)의 실패 하에서 ZFC 내에서 $T_{\text{feq}}$에 대한 보편 모델 존재하지 않음 결과를 확립하는 것.
• 일반적 프레임워크인 $\lambda$-근사 가족을 기반으로 보편 모델의 일치 결과를 삼각형 없는 그래프를 포함한 더 넓은 클래스로 확장하는 것.
• $T_{\text{feq}}$의 보편 스펙트럼에 하한을 제시하기 위해 $\text{pp}_{\Gamma(\theta)}(\mu)$ 기수 함수를 사용하는 것.

제안 방법

• 논문은 pcf 이론을 적용하여, $\theta$-완전 필터 모odulo 하에서 기수의 곱의 코finality를 분석하며, $\text{tcf}(\prod_{i<\theta}\lambda_i/D)$를 핵심 도구로 정의한다.
• 삼각형 없는 그래프의 클래스에 대해, $\lambda^+$의 정적 부분집합 $S \subseteq \lambda^+$에서 $\text{cf}(\delta) = \theta$인 $\delta$에 대해 순서형이 $\mu$인 클럽 $C_\delta$를 사용하여 $\lambda$-근사 가족 $K_{\text{ap}}$를 구성한다.
• 모형 이론적 구성 기법을 사용한다: $T_{\text{feq}}$의 경우, $P$와 $Q$-종류가 서로소인 모델을 구성하며, $P$는 $Q$ 위의 무한히 많은 동치류를 삼항 관계 $E_x$를 통해 인덱싱한다.
• 존재하지 않음 증명은 보편 모델 $M^*$가 존재한다고 가정한 데서 유도된 모순에 기반한다. 이는 $a_i \subseteq \lambda^{<\mu}$, $b_i \subseteq \lambda^\theta$, $|\{b_i\}| \leq \lambda$인 가족 $\{a_i, b_i\}_{i<i^*}$를 사용하며, 이러한 조건 하에서 어떤 $M^*$도 모든 모델을 임bedding 할 수 없음을 보여준다.
• 이 프레임워크는 $\theta$-완전 필터 $D$를 사용하며, $\chi = \text{tcf}(\prod_{i<\theta}\lambda_i/D)$를 정의하여 $\text{univ}(\lambda, T_{\text{feq}})$의 하한을 제시한다.
• 이러한 구성은 $K_{\text{ap}}$가 단순하고 스무스니스 및 확장 공리(axiom)를 만족함을 증명하여, 삼각형 없는 그래프의 클래스가 잘 정의된 근사 가족을 갖는다는 것을 보장한다.

실험 결과

연구 질문

• RQ1 어떤 ZFC 가정 하에서 $T_{\text{feq}}$가 주어진 불가측한 기수 $\lambda$에서 보편 모델을 갖는가?
• RQ2 보편 모델이 존재하지 않을 경우, $\text{univ}(\lambda, T_{\text{feq}})$의 최소 가능한 값은 무엇이며, pcf 이론적 기수로 어떻게 하한이 제시되는가?
• RQ3 삼각형 없는 그래프의 클래스에서 보편 모델의 존재가 ZFC 하에서 일관되게 확립될 수 있는가? 이때 $\lambda$-근사 가족은 어떤 역할을 하는가?
• RQ4 단일 순서수 가설(SCH)의 실패는 $T_{\text{feq}}$의 보편 스펙트럼에 어떤 영향을 미치는가?
• RQ5 $\lambda$-근사 가족의 일반적 프레임워크는 모형 이론적 클래스에서 보편 모델의 일관성 결과를 유도하는 데 얼마나 널리 적용될 수 있는가?

주요 결과

• 만약 $\chi = \text{pp}_{\Gamma(\theta)}(\mu) > \lambda + |i^*|$ 라면, $T_{\text{feq}}$는 기수 $\lambda$에서 보편 모델을 갖지 못하며, 이는 $\lambda > |T_{\text{feq}}|$일지라도 마찬가지다.
• $T_{\text{feq}}$의 보편 스펙트럼은 $\text{univ}(\lambda, T_{\text{feq}}) \geq \text{pp}_{\Gamma(\theta)}(\mu)$를 만족하며, 이는 크기가 $\lambda$인 모든 모델을 임베딩할 수 있는 모델 가족의 최소 크기의 하한을 제공한다.
• 삼각형 없는 그래프의 클래스에 대해, 논문은 단순하고 스무스니스 및 확장 공리를 만족하는 $\lambda$-근사 가족 $K_{\text{ap}}$를 구성하여 일관성 결과를 도출한다.
• 구성은 $K_{\text{ap}}$가 합집합에 대해 닫혀 있고 확장 성질을 만족함을 보여주며, 이는 $K_{\text{ap}}$에 속한 임의의 모델이 클래스 내 더 큰 모델로 확장될 수 있음을 보장한다.
• $T_{\text{feq}}$에 대한 존재하지 않음 증명은 보편 모델 $M^*$가 존재한다고 가정한 데서 기인한 모순에 기반한다. 이는 $|\{b_i\}| \leq \lambda$이고, $f: \lambda \to \lambda$가 존재하여 어떤 $i$에 대해 $f(b_i) \subseteq a_i$를 만족하는 집합 가족 $\{a_i, b_i\}$를 사용하며, 이는 임베딩 닫힘 성질을 위반한다.
• 논문은 $K_{\text{ap}}$가 합집합에 대해 닫혀 있고 확장 성질을 만족함을 증명하여, $K_{\text{ap}}$에 속한 임의의 모델이 클래스 내 더 큰 모델로 확장될 수 있음을 보장한다.