[논문 리뷰] Proper forcing remastered

Boban Veličković, Giorgio Venturi|arXiv (Cornell University)|2011. 10. 04.

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

한 줄 요약

이 논문은 가산 및 $\omega_1$-크기의 내부적으로 접근 가능한 모델을 동시에 사용하여 일반화된 측면 조건 강제법을 제안한다. 이 방법은 적절성( properness )을 확보하면서도 $\aleph_1$과 $\aleph_2$를 유지한다. 이 방법을 활용해 유한 조건을 사용하는 강제법을 구성함으로써 $\omega_2$에 클럽을 추가하고, $(\omega_1^{\omega_1}, <_{\rm fin})$에서 장수 사슬을 만들며, 얇고 매우 높은 초원자 부울 대수를 구성한다. 이는 이전 증명들보다 더 효율적이고 광범위하게 적용 가능하다는 것을 보여준다.

ABSTRACT

In these notes we present the method introduced by Neeman of generalized side conditions with two types of models. We then discuss some applications: the Friedman-Mitchell poset for adding a club in ω_2 with finite conditions, Koszmider's forcing construction of a strong chain of length ω_2 of functions from ω_1 to ω_1, and the Baumgartner-Shelah forcing construction of a thin very tall superatomic Boolean algebra.

연구 동기 및 목표

• 가산적이지 않은 내부적으로 접근 가능한 모델을 통합하여 $\aleph_1$과 $\aleph_2$를 유지하는 일반화된 측면 조건 강제법을 개발한다.
• 크기 $\aleph_2$의 조합론적 대상을 추가하기 위한 기존 강제법 구조보다 더 효율적인 대안을 제공한다.
• 세 가지 기존 결과를 통합하고 단순화한다: $\omega_2$에서 클럽을 추가하는 것, $(\omega_1^{\omega_1}, <_{\rm fin})$에서 장수 사슬을 구성하는 것, 그리고 얇고 매우 높은 초원자 부울 대수를 만드는 것.
• 이 방법이 더 넓은 적용 가능성을 지닌다는 것을 보여주기 위해, 이 세 결과를 통일적이고 체계적인 프레임워크를 통해 증명한다.

제안 방법

• 강제법 $\mathbb{M}$ 는 $\mathcal{E}_0^2 \cup \mathcal{E}_1^2$ 에 속하는 모델들의 유한한 $\in$-사슬로 구성되며, $\mathcal{E}_0^2$ 는 $H(\aleph_2)$ 의 가산 원소 부분모델들의 집합이고, $\mathcal{E}_1^2$ 는 $H(\aleph_2)$ 의 내부적으로 접근 가능한 $\aleph_1$-크기의 원소 부분모델들의 집합이다.
• 순서는 역포함 관계로 정의되며, 더 강한 조건일수록 더 많은 모델을 포함한다.
• 이 방법은 두 유형의 구조를 사용한다: 가산 모델과 $\aleph_1$-크기의 내부적으로 접근 가능한 모델이며, 이들의 교차 및 제한에 특별한 주의를 기울인다.
• 강제 조건은 $\pi_0(p)$ (가산 모델) 와 $\pi_1(p)$ ($\aleph_1$-크기 모델) 로 나뉘며, 모델에 대한 제한이 강제 구조를 유지한다.
• 핵심 기술적 혁신은 조건 $p$ 와 모델 $M$ 에 대해 $p^M$ 을 정의하는 것으로, 이는 $p$ 의 최소 확장이며, 일반성과 적절성을 보장한다.
• 이 방법은 $p^M$ 이 $(M^*, \mathbb{M}_4)$-일반적이 되도록 구성함으로써 $\mathcal{E}_1^2$-적절성을 증명하여 $\aleph_1$과 $\aleph_2$ 가 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 가산적이지 않은 내부적으로 접근 가능한 모델을 통합함으로써 일반화된 측면 조건 강제법이 $\aleph_1$과 $\aleph_2$를 동시에 유지할 수 있는가?
• RQ2 기존 방법보다 더 효율적인 강제법 구조로, 유한 조건을 사용하여 $\omega_2$에 클럽을 추가할 수 있는가?
• RQ3 이 방법을 사용하여 $(\omega_1^{\omega_1}, <_{\rm fin})$ 에서 장수 $\omega_2$-사슬의 존재를 통일적으로 증명할 수 있는가?
• RQ4 이 방법을 사용하여 얇고 매우 높은 초원자 부울 대수의 존재를 새롭게 증명할 수 있는가?
• RQ5 이 방법은 $\aleph_2$-크기의 조합론적 대상을 포함하는 다른 강제법 구조로 일반화될 수 있는가?

주요 결과

• $\mathbb{M}_4$ 는 $\mathcal{E}_1^2$-적절하므로, $\aleph_1$과 $\aleph_2$ 를 유지한다.
• 이 방법은 Koszmider 가 처음으로 증명한 바와 같이 $(\omega_1^{\omega_1}, <_{\rm fin})$ 에서 $\omega_2$-사슬의 존재의 일관성을 보여주는 새로운 간결한 증명을 제공한다.
• 이 방법은 유한 조건만을 사용하여 $\omega_2$ 에 클럽을 추가하는 강제법을 제공하며, $\aleph_1$과 $\aleph_2$ 를 유지한다. 이는 이전의 복잡한 구성보다 개선된 결과이다.
• Baumgartner 와 Shelah 가 처음으로 증명한 바와 같이, 얇고 매우 높은 초원자 부울 대수의 존재에 대한 새로운 증명을 제공한다.
• $\mathbb{M}_4$ 는 $\Omega(\omega_2)$-포지트를 추가하며, 이는 장수 사슬과 기타 조합론적 대상을 지원하는 구조이다.