완전 도넛 영집합과 실버 강제의 새로운 관점

초록

본 논문은 실버 강제와 연관된 σ-이상 (v⁰)를 연구한다. 완전 도넛 영집합으로 정의되는 (v⁰)의 구조를 파악하기 위해 세그먼트와 *‑세그먼트 위상을 도입하고, 이들이 라무젠 영집합과 유사함을 보인다. Base Matrix Lemma을 활용해 add(v⁰)를 기술하고, t = min{cf(𝔠), r} 가정 하에 Halbeisen의 추측인 cov(v⁰)=add(v⁰)를 증명한다. 또한 h = ω₁이면 (v⁰)의 이상형이 (𝔠, ω₁, 𝔠)임을 보여준다.

상세 분석

논문은 먼저 실버 강제(Silver forcing)와 연관된 σ-이상 (v⁰)를 소개한다. 기존 연구