[논문 리뷰] Kurepa-trees and Namba-forcing

Bernhard Koenig, Yasuo Yoshinobu|arXiv (Cornell University)|2006. 05. 04.

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

한 줄 요약

이 논문은 $λ$-closed 포스팅이 임의로 큰 $λ$에 대해(compact cardinals와 Martin의 최대성(MM))에 민감함을 보이며, $λ$-closed 포스팅을 통해 $λ$-regressive $λ$-Kurepa-나무를 구성하고, MM가 이러한 나무의 존재를 방지함을 보여준다. 핵심 기여는 MM 하에서 재귀적 Kurepa-나무를 파괴하는 데 Namba 포스팅이 필수적임을 증명함으로써, $λ$-closed와 $λ$-directed-closed 포스팅 간의 집합론적 포스팅 공리에서의 본질적 격차를 드러내는 데 있다.

ABSTRACT

We show that compact cardinals and { m MM} are sensitive to $λ$-closed forcings for arbitrarily large $λ$. This is done by adding 'regressive' $λ$-Kurepa-trees in either case. We argue that the destruction of regressive Kurepa-trees with { m MM} requires the use of Namba forcing.

연구 동기 및 목표

• 임의로 큰 $λ$에 대해 $λ$-closed 포스팅이 대규모 기저 성질과 MM 같은 포스팅 공리에 어떻게 영향을 미치는지 조사하기.
• $λ$-closed 포스팅을 사용하여 $λ$-regressive $λ$-Kurepa-나무를 구성함으로써, 이러한 포스팅이 새로운 조합 구조를 도입할 수 있음을 보여주기.
• MM 하에서 임의의 비가산 정칙 $λ$에 대해 $ω_1$-regressive $λ$-Kurepa-나무가 존재하지 않음을 증명함으로써, MM가 $λ$-closed 포스팅에 민감함을 입증하기.
• Namba 포스팅이 MM 조각을 위반하는 데 수행하는 역할을 명확히 하여, MM 하에서 재귀적 Kurepa-나무를 파괴하는 데 필수적임을 보여주기.
• $λ$-closed와 $λ$-directed-closed 포스팅의 행동을 대조함으로써, MM 및 PFA와 같은 포스팅 공리에 미치는 영향에서 뚜렷한 격차를 드러내기.

제안 방법

• 한정된 수준에서 재귀 함수가 만남의 구조를 유지하는 방식으로 정의된 $λ$-regressive $λ$-Kurepa-나무를 정의하기 위해 $γ$-regressive 트리의 개념을 도입한다.
• 모든 비가산 정칙 $λ$에 대해 $λ$-regressive $λ$-Kurepa-나무를 추가하는 $λ$-closed 포스팅 $Κ_{\text{reg}}^{\lambda}$를 구성한다.
• MM 하에서 재귀적 Kurepa-나무를 파괴하기 위해 Namba 포스팅의 특정 성질이 필수적임을 보이기 위해, Namba 포스팅을 사용한다. 이는 $ω_1$의 정적 부분집합을 유지하지만 커버링 성질이 없기 때문이다.
• 기존 모델의 분지들로 이루어진 정적 집합을 클럽으로 쏘기 위해 $× = \text{Nm}*\text{CS}(\dot{E}_{\mathcal{B}})$의 반복을 적용함으로써, 정적성을 유지하고 MM의 사용을 가능하게 한다.
• $ω_2$-directed-closed 포스팅 $Χ$를 사용하여, 일반 확장에서의 약한 $λ$-Kurepa-나무로부터 $ω_2$-Kurepa-부분나무를 추출함으로써 $ω_1$-regressive 성질을 유지한다.
• $ω_2$-directed-closed와 $λ$-closed 포스팅을 조합하여 MM 하에서 모순를 유도함으로써, $ω_1$-regressive $λ$-Kurepa-나무가 존재할 수 없음을 증명한다.

실험 결과

연구 질문

• RQ1 임의로 큰 $λ$에 대해 $λ$-closed 포스팅이 compact cardinal 하에서 Kurepa-나무의 존재에 영향을 미칠 수 있는가?
• RQ2 Martin의 최대성(MM)은 임의로 큰 $λ$에 대해 $λ$-closed 포스팅에 민감한가?
• RQ3 MM 하에서 재귀적 Kurepa-나무를 파괴하는 데 Namba 포스팅이 유일한 역할을 하는가, 아니면 다른 $λ$-closed 포스팅으로도 충분한가?
• RQ4 $λ$-closed와 $λ$-directed-closed 포스팅은 MM 및 PFA와 같은 포스팅 공리에 미치는 영향에서 어떤 차이가 있는가?
• RQ5 MM 하에서 비가산 정칙 $λ$에 대해 $ω_1$-regressive $λ$-Kurepa-나무의 존재를 일관적으로 강제할 수 있는가?

주요 결과

• 모든 비가산 정칙 $λ$에 대해, $λ$-regressive $λ$-Kurepa-나무를 추가하는 $λ$-closed 포스팅 $\mathcal{K}_{\text{reg}}^{\lambda}$가 존재한다.
• 만약 $\kappa$가 compact cardinal 이고 $\lambda \geq \kappa$가 정칙이라면, $\kappa$-regressive $\lambda$-Kurepa-나무는 존재하지 않으며, 이는 compact cardinals가 $λ$-closed 포스팅에 민감함을 보임을 시사한다.
• MM 하에서 임의의 비가산 정칙 $\lambda$에 대해 $\omega_1$-regressive $\lambda$-Kurepa-나무가 존재하지 않으며, 이는 MM가 $λ$-closed 포스팅에 민감함을 증명한다.
• MM의 실패는 이전 결과들이 요구하는 것보다 더 강력하거나 복잡한 포스팅이 필요로 하지 않게, 임의로 큰 $λ$에 대해 $λ$-closed 포스팅만으로도 달성할 수 있다.
• MM 하에서 재귀적 Kurepa-나무를 파괴하기 위해 Namba 포스팅이 필수적임을 보이며, 이는 $\omega_1$의 정적 부분집합을 유지하지만 커버링 성질이 없기 때문이다.
• $ω_2$-directed-closed와 $λ$-closed 포스팅의 조합은 MM를 유지하지만, $ω_1$-regressive $λ$-Kurepa-나무가 존재한다면 모순을 유도하므로, MM 하에서 그 존재가 확인되지 않음을 확인한다.