약한 준오미니멀 이론의 가산 모델과 마틴 추측

초록

이 논문은 약한 준오미니멀 이론에서 가산 모델의 수를 조사한다. ‘단순 반구간’이 없거나 비볼록 1‑형이 존재하면 모델 수가 $2^{\aleph_0}$임을 보이며, 거의 $\aleph_0$‑범주인 경우 마틴 추측을 확인한다. 또한 이론이 이진, 로지, 혹은 유한 볼록 순위 등을 가질 때도 마틴 추측이 성립함을 증명한다.

상세 분석

논문은 먼저 이전 연구(MT20, MT24)에서 제시된 ‘반구간(semi‑interval)’ 개념을 약한 오미니멀 타입의 궤도(locus) 위에 국한시킨 p‑반구간을 정의한다. p‑반구간은 정의 가능한 반구간 패밀리이며, 최소 원소가 존재하고, 해당 타입 위에서 상대적으로 A‑정의 가능해야 한다. 핵심 기술은 이러한 p‑반구간이 ‘단순(simple)’인지 여부를 판정하는 기준을 마련하는 것이다. 단순성은 작은 이론에서 정의 가능한 반구간 패밀리 중에 ‘시프트(shift)’가 존재하지 않는다는 조건과 동치이며, 시프트는 반구간들의 반복적인 합을 통해 무한히 증가하는 순서를 만든다.

저자는 p‑반구간의 단순성을 ‘Eₚ‑결정(Eₚ‑determined)’이라는 개념과 연결한다. 즉, 어떤 반구간이 Eₚ‑관계에 의해 완전히 결정될 경우 단순성을 가질 수 있다. 이를 통해 ‘단순 반구간이 존재하지 않음’이 곧 ‘정의 가능한 시프트 패밀리 존재’와 동치임을 보인다.

다음으로 조건 (R)을 도입한다. (R)은 모든 A‑정의 가능한 동치 관계가 0‑정의 가능함을 의미한다. 저자는 (R)와 이론의 이진성(binarity)이 동치임을 증명하고, 이는 Vaught의 추측을 확인하는 데 핵심적인 역할을 한다. 특히, 단순 반구간을 가진 이론에서 (R)이 성립하면 이론은 반드시 이진이며, 따라서 거의 ℵ₀‑범주인 경우 모델 수가 $2^{\aleph_0}$가 아니라는 결론을 얻는다.

주요 정리들은 다음과 같다.

1. 정리 1: 약한 준오미니멀 이론 T가 (i) 단순 반구간이 없거나 (ii) 비볼록 1‑형을 가질 때, $I(T,\aleph_0)=2^{\aleph_0}$.
2. 정리 2: 거의 ℵ₀‑범주인 약한 준오미니멀 이론에 대해 마틴 추측이 성립한다. 이는 Vaught 추측을 강화한 형태이다.
3. 정리 3: 이진, 로지, quasi‑o‑minimal, 혹은 유한 볼록 순위를 가진 약한 준오미니멀 이론에서도 마틴 추측이 성립한다.

증명은 크게 두 단계로 나뉜다. 첫 번째는 ‘단순 반구간이 없으면’ 혹은 ‘비볼록 형이 존재하면’ 모델 수가 $2^{\aleph_0}$임을 보이는 구조적 분석이며, 두 번째는 (R)과 이진성의 동치를 이용해 거의 ℵ₀‑범주인 경우 모델 수가 제한적임을 보여 마틴 추측을 확인한다.

마지막으로 저자는 기존에 알려진 비이진, 거의 ℵ₀‑범주인 약한 오미니멀 이론(예: Herwig 등)과, 비범주적이지만 가산 모델이 3개인 사례들을 제시하며, 현재 마틴 추측이 완전히 해결되지 않은 영역을 명시한다. 향후 연구 방향으로는 시프트 패밀리의 존재 여부를 보다 일반적인 환경에서 판단하는 방법과, 로지성 혹은 유한 볼록 순위가 없는 경우의 모델 수를 규명하는 것이 제시된다.