[논문 리뷰] A Generalization of Martin's Axiom

David Asperó, Miguel Ángel Mota|arXiv (Cornell University)|2012. 06. 28.

Advanced Algebra and Logic인용 수 1

한 줄 요약

이 논문은 가 countable chain condition의 일반화인 ℵ1.5–c.c.을 도입하고, 이를 바탕으로 Martin의 Axiom보다 엄밀히 강력한 forcing 공리 MA1.5<κ를 정의한다. 이는 λ ≥ ℵ1일 때 MAλ보다 엄밀히 강력하다. CH와 추가 가정(예: ♦({α < κ : cf(α) ≥ ω1})) 하에서, 2ℵ₀ = κ와 MA1.5<κ를 강제하는 크기 κ인 proper ℵ2–c.c. forcing를 구성함으로써, 이 새로운 공리의 일致성과 ω₁에서의 균일한 club 추측 실패에 대한 영향을 입증한다.

ABSTRACT

We define the $\aleph_{1.5}$ chain condition. The corresponding forcing axiom is a generalization of Martin's Axiom and implies certain uniform failures of club--guessing on $\omega_1$ that don't seem to have been considered in the literature before.

연구 동기 및 목표

• Martin의 Axiom을 새로운 forcing poset 클래스가 만족하는 ℵ1.5–c.c.를 도입하여 일반화한다.
• MAλ (λ ≥ ℵ1)을 확장하는 MA1.5<κ를 정의하고 연구한다.
• 연속체 가설과 추가 조건 하에서 MA1.5<κ와 2ℵ₀ = κ의 일치성을 확립한다.
• MA1.5<κ가 MAλ만으로 유도할 수 없는 ω₁에서의 균일한 club 추측 실패를 암시함을 보여준다.

제안 방법

• 정규적 λ ≥ |TC(P)|⁺에 대해 H(λ)의 가산 초구조체의 원소인 club을 사용하여 c.c.c.를 강화한 ℵ1.5–c.c.를 정의한다.
• 가산 초구조체와 대칭 체계를 기반으로 한 측면 조건을 사용한 forcing 반복을 통해 원하는 poset를 구성한다.
• {α < κ : cf(α) ≥ ω₁}에 대한 ♦-시퀀스를 사용하여 이름을 코드화하고 반복 단계에서의 일반성 보장을 확보한다.
• 조건의 반사와 Q-모델로의 통합을 통한 조건의 반사 기법을 적용하여 반복 과정에서 ℵ1.5–c.c.를 유지한다.
• forcing poset의 ℵ2–c.c.를 활용하여, 크기 ℵ2인 antichain이 생기지 않도록 하고, 이름을 기반으로 일반 필터를 구성할 수 있도록 한다.
• 이름 코드화, club 반사, 조건 통합을 조합하여 최종 forcing Pκ가 MA1.5<κ와 2ℵ₀ = κ를 강제함을 검증한다.

실험 결과

연구 질문

• RQ1 MAλ (λ ≥ ℵ1)보다 엄밀히 강력한 forcing 공리로, 2ℵ₀ > ℵ₁와 일치할 수 있는 Martin의 Axiom을 일반화할 수 있는가?
• RQ2 이러한 일반화를 가능하게 하고 결과 공리의 일치성을 보장하는 정확한 조건(ℵ1.5–c.c.)은 무엇인가?
• RQ3 MA1.5<κ는 MAλ만으로는 암시되지 않는 ω₁에서의 새로운 club 추측 실패를 암시하는가?
• RQ4 CH와 추가 체계적 가정 하에서, MA1.5<κ가 2ℵ₀ = κ와 함께 일관되게 강제될 수 있는가?
• RQ5 크기 κ인 proper ℵ2–c.c. poset를 사용하여 MA1.5<κ와 2ℵ₀ = κ를 동시에 달성할 수 있는 forcing 구조가 존재하는가?

주요 결과

• ℵ1.5–c.c.는 c.c.c.의 적절한 강화이며, ℵ2–c.c.를 암시하여 크기 ℵ2인 antichain을 피한다.
• MA1.5<κ는 모든 λ ≥ ℵ1에 대해 MAλ보다 엄밀히 강력하며, MAλ만으로는 도출할 수 없는 ω₁에서의 균일한 club 추측 실패를 암시한다.
• CH와 함께, regular κ ≥ ω₂이고 모든 µ < κ에 대해 µℵ₀ < κ인 조건 하에서, MA1.5<κ를 강제하는 크기 κ인 proper ℵ2–c.c. poset가 존재한다.
• 논문에서 구성된 forcing Pκ는 Pκ ⊩ 2ℵ₀ = κ 이며, Pκ ⊩ MA1.5<κ를 만족하여 새로운 공리의 일치성을 입증한다.
• 이 구조는 이름을 코드화하고, Q-모델에서의 반사와 통합을 통해 반복 과정에서의 일반성을 유지하기 위해 ♦-시퀀스를 사용한다.
• 이 증명은 조건의 Q-모델로의 반사와 반복 과정에서 ℵ1.5–c.c.의 유지에 기반하며, 단계 간의 이sovorphism와 이름 전달 기법을 활용한다.