클래스 선택과 켈리모스 이론의 숨은 약점

초록

KM 이론이 전역 선택을 포함함에도 불구하고 클래스 선택 스킴, 내부 초극대 ultrapower에 대한 Łoś 정리, 그리고 Σ¹ₙ 복잡도 보존 등 기본적인 두 번째 차원 원칙들을 증명하지 못한다는 사실을 보여준다. 이를 보완하기 위해 클래스 선택 스킴을 추가한 KM⁺ 를 제안한다.

상세 분석

이 논문은 현대 집합론에서 두 번째 차원(클래스) 이론의 표준 체계인 Kelley‑Morse(KM) 이론이 생각보다 약하다는 일련의 새로운 결과들을 제시한다. 첫 번째 주요 결과는 KM이 전역 선택(Global Choice) 원리를 포함하고 있음에도 불구하고 “클래스 선택 스킴”(Class Choice Scheme)을 증명하지 못한다는 것이다. 구체적으로, 모든 집합 x에 대해 어떤 클래스 X가 φ(x,X)를 만족한다면, 전체 V‑인덱스된 가족을 하나의 클래스 Z⊆V×V 로 통합하여 각 섹션 Zₓ가 φ(x,Zₓ)를 만족하도록 하는 선택 함수가 존재한다는 명제가 KM에서는 거짓일 수 있다. 저자들은 Mahlo 카드널을 가정한 ZFC 모델을 구축하여, 심지어 1차 논리 복잡도(Σ⁰₁) 수준의 φ에 대해서도 이 스킴이 실패함을 보인다. 또한, “집합 인덱스된 클래스 선택 스킴”(Set‑indexed)과 “파라미터‑프리 클래스 선택 스킴”(Parameter‑free) 같은 약화된 형태조차도 KM에서는 충분히 강하지 않으며, 각각 별도의 모델에서 반례를 제시한다.

두 번째 주요 결과는 KM이 내부 초극대 ultrapower에 대한 Łoś 정리 스킴을 만족하지 못한다는 점이다. 구체적으로, ω 위의 초극대 필터에 대한 내부 ultrapower가 다시 KM 모델이 되지 않을 수 있음을 보이며, 이는 큰 카디널(예: 측정 가능 카드널)의 정상 측정에 의한 ultrapower 역시 KM 언어에서 원초적( elementary)이지 않을 수 있음을 의미한다. 이는 KM이 큰 카디널 임베딩을 다루는 데 필요한 기본적인 보존 성질을 상실함을 보여준다.

세 번째 결과는 Σ¹ₙ 논리 복잡도가 일차 양화자(심지어 제한된 양화자) 아래에서 보존되지 않는다는 것이다. 예를 들어, ψ(α,X) 가 Σ¹₁이라도 ∀α<δ ψ(α,X) 를 Σ¹₁ 형태로 변환할 수 없으며, 이는 KM이 두 번째 차원 논리의 복잡도 계층을 안정적으로 다루지 못한다는 것을 의미한다.

이러한 약점을 보완하기 위해 저자들은 클래스 선택 스킴을 KM에 추가한 확장 이론 KM⁺ 를 제안한다. KM⁺는 클래스 선택 스킴을 기본 공리로 채택함으로써 위 세 가지 결함을 모두 해결한다. 또한, Marek의 결과에 따라 KM⁺는 ZFC⁻(파워셋 공리 없이 ZFC)와 가장 큰 비가산( inaccessible) 카드널을 가정하는 이론과 상호해석 가능함을 언급한다. 따라서 KM⁺는 두 번째 차원 집합론의 기반으로서 보다 견고하고 직관적인 선택 원리를 제공한다는 점에서 기존 KM보다 우수하다.

전반적으로 이 논문은 KM이 직관적으로 강력해 보이지만, 실제로는 중요한 선택 및 보존 원칙들을 놓치고 있음을 명확히 보여준다. 이는 두 번째 차원 집합론의 공리 체계를 재검토하고, 클래스 선택을 명시적으로 포함하는 확장이 필요함을 강력히 시사한다.