라버 모델에서 점 공집합 커버와 선택 원리
본 논문은 점-공집합(open point‑cofinite) 커버에 대한 선택 원리 S₁(Γ,Γ)와 그 임계 기수 𝔟 사이의 관계를 연구한다. 라버 모델에서 𝔟‑크기의 실수 집합은 Borel 이미지가 ω^ω에서 무한히 커지는(즉, unbounded) 함수를 갖는다는 주요 정리를 증명하고, 이를 통해 라버 모델에서는 S₁(Γ,Γ)를 만족하는 모든 집합의 크기가 𝔟보다 작아야 함을 보인다. 또한, 비경계 타워가 존재할 경우 𝔟‑크기의 S₁(Γ,Γ) …
저자: ** Arnold W. Miller, Boaz Tsaban **
본 논문은 점‑공집합(open point‑cofinite) 커버에 대한 선택 원리 S₁(Γ,Γ)와 그 임계 기수 𝔟 사이의 관계를 심도 있게 탐구한다. 서론에서는 Γ를 “점‑공집합 커버”로 정의하고, 세 가지 선택 원리 U_fin(Γ,Γ), U₂(Γ,Γ), S₁(Γ,Γ) 사이의 함의 구조를 정리한다. 특히 S₁(Γ,Γ) 가 가장 강한 형태이며, 이들 원리의 임계 기수는 모두 전통적인 카디널 𝔟와 일치한다는 점을 강조한다.
두 번째 장에서는 ‘타워(tower)’와 ‘비경계 타워(unbounded tower)’ 개념을 도입한다. 타워는
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기