[논문 리뷰] Reasonably complete forcing notions

Andrzej Rosłanowski, Saharon Shelah|arXiv (Cornell University)|2005. 08. 16.

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

한 줄 요약

이 논문은 불가측 카디널 $\lambda$일 때 $\lambda$-지원 반복이 $\lambda$-정칙 유지하도록 보장하는 '합리적으로 완전한' 강제법 개념—특히 성질 A, B, C—을 도입하고 분석한다. 이는 A-유계성 성질이 이전의 개념과 동치임을 증명하고 반복 정리들을 강화하며, 두 개의 정상 필터에 대해 $\lambda$에서의 지배 수가 다를 수 있음을 보여주는 프레임워크를 적용한다.

ABSTRACT

We introduce more properties of forcing notions which imply that their lambda-support iterations are lambda-proper, where lambda is an inaccessible cardinal. This paper is a direct continuation of section A.2 of math.LO/0210205. As an application of our iteration result we show that it is consistent that dominating numbers associated with two normal filters on lambda are distinct.

연구 동기 및 목표

• 불가측 $\lambda$에 대해 $\lambda$-지원 반복이 $\lambda$-정칙 유지되도록 보장하는 강제법 성질(A, B, C)을 식별하고 형식화하기.
• 성질 A와 B가 $\lambda$-지원 반복 하에서 '거의 유지됨'임을 보여줌으로써 반복 정리들을 강화하기.
• 본 논문에서 제안한 새로운 A-유계성 성질이 이전의 개념과 동치임을 보여, 이전 결과를 향상시키기.
• 반복 프레임워크를 적용하여, $\lambda$ 상의 두 개의 서로 다른 정상 필터에 대해 지배 수가 다를 수 있는 모델을 구성하기.
• 새로운 강제법 개념 $\mathbb{Q}^2_{\mathcal{U}}$를 사용하여 $\lambda$-지원 반복 하에서 서로 다른 지배 수의 일관성을 조사하기.

제안 방법

• 강제법 개념에 대해 A와 B를 중심으로 '합리적인 후보'로 삼을 수 있는 세 가지 유계성 유형 성질(A, B, C)을 도입.
• 게임 이론적 특성화(일반성 플레이어와 반일반성 플레이어 간의 게임)를 사용하여 강제법 성질를 정의하고 분석.
• $\lambda$-지원 반복을 적용하여, 한계 강제법이 원래 성질의 略적 약화된 형태를 만족하더라도 $\lambda$-정칙성을 유지함을 보장.
• 특정 강제법 개념 $\mathbb{Q}^2_{\mathcal{U}}$를 정상 필터 $\mathcal{U}$에 기반하여 구성하며, 클럽 집합과 수열을 사용해 일반적 행동을 통제.
• $\mathbb{Q}^2_{\mathcal{U}}$가 $\mathcal{U}$에 대해 합리적으로 C-유계임을 증명하여, 반복 정리에서의 활용 가능성을 뒷받침.
• 강제 공리와 일반적 확장(영역)을 사용하여, 한계에서 강제법이 $\lambda$-정칙성에 필요한 성질을 유지함을 보임.

실험 결과

연구 질문

• RQ1 성질 A, B, C는 불가측 $\lambda$에 대해 $\lambda$-지원 반복이 $\lambda$-정칙 유지되도록 보장할 수 있는가?
• RQ2 본 논문에서 제안한 새로운 A-유계성 성질은 Rosłanowski와 Shelah [4, §A.2]에서 정의한 성질과 동치인가?
• RQ3 $\mathbb{Q}^2_{\mathcal{U}}$ 강제법 개념은 $\lambda$ 상의 두 개의 정상 필터에 대해 서로 다른 지배 수를 허용할 수 있도록 충분한 통제를 유지하는가?
• RQ4 $\mathbb{Q}^2_{\mathcal{U}}$의 $\lambda$-지원 반복은 스스로 $\lambda$-정칙인가?
• RQ5 반복 프레임워크를 사용하여, $\lambda$ 상의 한 정상 필터에 관련된 지배 수가 다른 정상 필터의 지배 수와 다를 수 있는 모델을 구성할 수 있는가?

주요 결과

• 이 논문에서 제안한 A-유계성 성질은 Rosłanowski와 Shelah [4, §A.2]에서 정의한 성질과 동치이며, 이는 그들의 논문의 정리 A.2.4를 향상시킨다.
• 정리 2.5는 A-유계성 성질이 $\lambda$-지원 반복 하에서 '거의 유지됨'을 보여주며, 이는 한계 강제법이 원래 성질의 약간 더 약한 변형을 만족함을 의미한다.
• 정리 2.10은 B-유계성 성질 역시 $\lambda$-지원 반복 하에서 '거의 유지됨'을 보여준다.
• $\mathbb{Q}^2_{\mathcal{U}}$ 강제법 개념이 $\mathcal{U}$에 대해 합리적으로 C-유계임이 증명되었으며, 이는 반복 정리에서의 활용 가능성을 뒷받침한다.
• 정리 4.18은 일반적 확장에서 모든 $f \in {}^\lambda\lambda \cap \mathbf{V}$ 가 $\mathcal{U}^{\mathbb{Q}^2_{\mathcal{U}}}$-양성 집합에서 $\tilde{\nu}(\alpha)$에 의해 최종적으로 유계임을 확인한다.
• 결론 4.12는 두 개의 정상 필터에 대해 $\lambda$에서의 지배 수가 다를 수 있음을 반복 프레임워크와 $\mathbb{Q}^2_{\mathcal{U}}$ 강제법을 사용하여 일관성 있게 보여준다.