게임 이론적 카테오프 순서와 이상화된 효과적 부분위상

초록

본 논문은 효과적 토포스 Eff 의 ≤ₗₜ 순서를 필터와 이상에 대한 새로운 게임‑이론적 카테오프 순서와 연결한다. 이 순서는 Rudin‑Keisler 순서보다 더 거칠면서도, MAD 가족을 하나의 동등류로 붕괴시키는 동시에 무한한 상승 사슬을 포함한다. 계산 가능성 측면에서는 computable 버전이 원래의 ≤ₗₜ 순서와 동형이며, 각 필터 𝔽 에 대해 정의된 𝔻_T(𝔽) 는 항상 튜링 차수의 초기 구간을 결정한다. Δ¹₁ 필터에 대해서는 정확히 초산술 차수들을 포착한다.

상세 분석

논문은 먼저 효과적 토포스 Eff 에서 LT 위상 j:P(ω)→P(ω) 가 실현하는 부분위상들의 부분순서 ≤ₗₜ 를 명시적으로 기술한다. 기존 연구가 보여준 바와 같이 ≤ₗₜ 는 튜링 차수와 깊게 연결되지만, 그 구조는 거의 알려지지 않았다. 저자들은 이를 해결하기 위해 ω 위의 필터(또는 상위집합)들에 대한 새로운 순서, 즉 게임‑이론적 카테오프 순서 U ≤ₒₗₜ V 를 정의한다. 이 순서는 전통적인 카테오프 순서를 Fubini 거듭 제곱을 통해 잘 정의된 δ‑Fubini 파워로 닫은 형태이며, 따라서 Rudin‑Keisler 순서보다 엄격히 거칠다.

핵심 정리는 세 부분으로 나뉜다. (i) 게임‑이론적 카테오프 순서는 Katětov 순서를 잘 정의된 반복 연산으로 확장한 것이며, Rudin‑Keisler 및 전통적 Katětov 순서보다 강하게 위축된다. (ii) 이 순서는 두 플레이어가 필터 U와 V 사이의 포함 관계를 놓고 진행하는 명시적 게임으로 기술되어, 직관적인 전략 분석이 가능하다. (iii) 컴퓨터 가능 버전에서는 이 게임‑이론적 순서와 ≤ₗₜ 순서가 동형임을 보인다. 즉, 필터 U 에 대한 computable 전략이 존재하면 정확히 j_U ≤ₗₜ j_V 가 된다.

또한 저자들은 이 순서가 Tukey 순서와는 비교 불가능함을 ZFC 내에서 증명한다. 이는 필터의 공동성(cofinality) 유형을 탐지하는 새로운 도구임을 의미한다. 흥미롭게도, 모든 MAD(최대 거의 서로소) 가족은 이 순서에서 하나의 동등류로 붕괴되지만, 필터 이상들 사이에는 무한히 긴 엄격 상승 사슬이 존재한다. 이 사슬은 Fin < ED Fin