케톤 솔로바이 대형성의 새로운 분할 정리와 라쏘 라벨링 경계

초록

이 논문은 ε₀ 미만의 순서수 α에 대해 정의된 케톤‑솔로바이 α‑대형성을 확장한다. 주요 결과는 두 집합 B, C가 각각 β‑대형·γ‑대형(또는 그 이하)일 때, 합집합 B∪C는 (β⊕γ)‑대형 이하가 된다는 일반적인 분할 정리이다. 또한 ω^{nk+3}‑대형 집합 X(최소 원소 ≥18)에 대해 k‑색칠 f:

상세 분석

본 연구는 케톤‑솔로바이(Ketonen‑Solovay)가 제시한 α‑대형성 개념을 ε₀ 이하의 모든 순서수에 대해 체계적으로 확장한다. 먼저 α‑대형성을 정의하기 위해 기본 수열 {α}(n)을 이용해, 유한 집합 X={x₀<…<x_{s}}에 대해 {α}(X) = …{{α}(x₀)}(x₁)…(x_{s})를 계산하고, 최종값이 0이면 α‑대형, 그렇지 않으면 α‑소형이라 정의한다. 이때 “정확히 α‑대형”은 α‑대형이면서 최대 원소를 제외한 부분집합이 α‑소형인 경우이며, “최대 α‑대형”은 최대 원소를 제외한 부분집합이 α‑소형인 경우를 의미한다.

논문의 핵심 정리는 두 순서수 β, γ<ε₀와 각각 at most β‑대형, at most γ‑대형인 집합 B, C에 대해 B∪C가 at most (β⊕γ)‑대형임을 보이는 것이다. 여기서 ⊕는 자연합(또는 헤센베르크 합)이며, β≫α라는 관계(β가 α보다 “큰” 순서수)를 이용해 기본 수열의 연산이 자연스럽게 결합함을 증명한다. 이 정리는 기존의 Ketonen‑Solovay Lemma 4.6과 Bigorajska‑Kotlarski의 피겨홀 정리를 모두 포괄한다.

두 번째 주요 결과는 Ramsey 이론의 2‑색상(또는 k‑색상) 경우에 대한 폐쇄성 한계를 정확히 규정한다. 저자는 ω^{nk+3}‑대형 집합 X(최소 원소 ≥18)와 임의의 색칠 f: