라벨이 붙은 선형 순서의 결정 가능한 확장

초록

선형 순서에 유한 개의 단항 술어가 붙어 있는 구조에서, 순서가 ω 또는 –ω 구간을 포함하고 그 구조의 단일 모노이드 2차 논리(MSO) 이론이 결정 가능하면, 새로운 단항 술어를 추가해도 MSO 이론이 여전히 결정 가능한 비자명한 확장이 존재한다는 결과를 보인다.

상세 분석

본 논문은 라벨이 붙은 선형 순서(M, <, P₁,…,Pₙ)라는 모델을 연구한다. 여기서 <는 전순서이며, 각 Pᵢ는 단항 술어이다. 저자들은 특히 (A,<)가 ω(자연수 순서) 혹은 –ω(역자연수 순서)와 동형인 구간을 포함할 때, M의 MSO 이론이 결정 가능하면, M에 새로운 단항 술어 Q를 추가한 확장 M′=(A,<,P₁,…,Pₙ,Q)도 MSO 이론이 결정 가능함을 증명한다. 핵심 아이디어는 두 단계로 나뉜다. 첫째, ω와 ζ(정수 순서) 경우에 대해 직접적인 구성법을 제시한다. 여기서는 자동이론과 동형 유형(k‑type) 개념을 이용해, 일정한 k‑type을 갖는 구간들을 적절히 색칠함으로써 Q를 정의한다. 둘째, 일반적인 경우에는 A를 ∼라는 볼록 동등 관계로 분할해, 각 등급이 유한, –ω, ω, ζ 중 하나의 순서형을 갖는 구간들로 나눈다. 그런 뒤 각 구간에 대해 앞서 만든 ω·ζ 전용 정의를 적용한다. 이때 Shelah의 합성 정리(Composition Theorem)를 사용해 전체 구조의 MSO 이론을 각 구간의 k‑type들로부터 효과적으로 재구성한다. 중요한 기술적 결과는 (i) k‑type이 동일한 두 구조의 합이 동일한 k‑type을 갖는다는 사실, (ii) 정의 가능한 집합 Q가 구간마다 독립적으로 선택될 수 있어 Q가 원래 구조에서 정의 불가능함을 보장한다는 점이다. 또한, 논문은 기존 연구(Elgot‑Rabin 질문, Soprunov의 정규 순서, Shelah‑Gurevich의 경계)와 비교해, 라벨이 붙은 선형 순서가 Gaifman 거리 기준을 만족하지 않음에도 불구하고 비최대성을 확보한다는 점을 강조한다. 마지막으로, FO 논리로의 확장 가능성 및 제한된 경우에 대한 부정적 결과도 논의한다.