[논문 리뷰] The complexity of the index sets of $\aleph_0$-categorical theories and of Ehrenfeucht theories

Steffen Lempp, Theodore A. Slaman|ArXiv.org|2006. 10. 26.

Computability, Logic, AI Algorithms참고 문헌 8인용 수 11

한 줄 요약

이 논문은 일阶 논리 이론의 인덱스 집합의 계산 이론적 복잡도를 분류하며, $ℓ_0$-결정가능성은 $Π^0_3$-완전하고, Ehrenfeucht 이론임은 $Π^1_1$-완전하다고 보여준다. 또한 연속체 개의 모델을 가진다는 성질은 $Σ^1_1$-어려움을 가지며, 유일하게 결정 가능하거나 계산 가능한 모델만을 가진 이론의 복잡도에 대한 함의를 제시한다.

ABSTRACT

We classify the computability-theoretic complexity of two index sets of classes of first-order theories: We show that the property of being an $\aleph_0$-categorical theory is $Π^0_3$-complete; and the property of being an Ehrenfeucht theory $Π^1_1$-complete. We also show that the property of having continuum many models is $Σ^1_1$-hard. Finally, as a corollary, we note that the properties of having only decidable models, and of having only computable models, are both $Π^1_1$-complete.

연구 동기 및 목표

• 일阶 이론의 인덱스 집합의 계산 이론적 복잡도를 분류하는 것, 특히 모델 수와 관련된 것들에 중점을 두어.
• ℓ_0-결정가능성과 Ehrenfeucht-성질과 같은 성질들이 산술 계층과 분석 계층에서 정확한 정의 가능성 수준을 결정하는 것.
• 연속체 개의 모델을 가진 이론들과 유일하게 결정 가능하거나 계산 가능한 모델만을 가진 이론들의 복잡도에 대한 하한과 상한을 설정하는 것.
• 기존의 완전 문제들로부터의 감소를 사용하여 계층 내에서 완전성 결과를 증명하는 것.
• 유일하게 결정 가능한 모델만을 가진다는 성질이 $Π^1_1$-완전하다는 것을 보이며, 이는 모델 이론적 계산 가능성 분석으로의 확장을 포함한다.

제안 방법

• Ryll-Nardzewski 정리를 사용하여 유한한 $n$-형식을 통한 $ℓ_0$-결정가능 이론의 특성화를 통해 성질을 $Π^0_3$ 공식으로 변환하는 것.
• 인덱스 $e$ 에서부터 균일하게 계산 가능한 이론 $T_e$ 를 구성하여, $T_e$ 가 $ℓ_0$-결정가능일 조건이 모든 $n$ 에 대해 $W_{f(n)}$ 이 유한할 때임을 보여주며, $Π^0_3$-완전한 조건을 활용하는 것.
• Spector-Gandy 정리를 적용하여, 유한한 초산형 표현과 그에 상응하는 동형사상이 존재하는 모델의 존재는 $Π^1_1$ 조건임을 보이는 것.
• Reed의 구성법을 사용하여 계산 가능한 트리를 완전한 결정 가능한 이론에 코딩하며, 트리의 경로 성질이 모델 수 성질로 번역되는 것을 보이는 것.
• 트리에서 이론으로의 코딩을 통해 동시에 다수의 감소 $(Π^1_1, \Sigma^1_1) \leq_m (\text{Ehrenfeucht}, \text{Continuum})$ 를 설정하는 것.
• 모든 가환 집합 내에서 스코트 문장과 동형사상의 분석을 통해 가산 모델의 수와 그 초산형 복잡도를 분석하는 것.

실험 결과

연구 질문

• RQ1 산술 계층에서 $ℓ_0$-결정가능 이론의 인덱스 집합의 정확한 복잡도는 무엇인가?
• RQ2 분석 계층에서 Ehrenfeucht 이론의 인덱스 집합의 복잡도는 무엇인가?
• RQ3 이론이 연속체 개의 서로 동형이 아닌 가산 모델을 가지는 성질의 복잡도는 얼마나 복잡한가?
• RQ4 유일하게 결정 가능한 모델만을 가지는 성질이나 유일하게 계산 가능한 모델만을 가지는 성질도 $Π^1_1$-완전한가?
• RQ5 복잡도 결과를 유지하면서 이론의 언어를 고정할 수 있는가?

주요 결과

• ℓ_0-결정가능 이론의 인덱스 집합은 $Π^0_3$-완전하며, 이는 산술 계층 내에서 정확한 복잡도를 확립한다.
• Ehrenfeucht 이론의 인덱스 집합은 $Π^1_1$-완전하며, 이는 이 성질이 분석 계층에서 가능한 한 복잡하다는 것을 보여준다.
• 연속체 개의 모델을 가지는 성질은 $Σ^1_1$-어려움을 가지며, 이는 실수 위에서의 존재적 성질보다는 적어도 동일한 복잡도를 가진다는 것을 의미한다.
• 유일하게 결정 가능한 모델만을 가지는 성질은 $Π^1_1$-완전하며, 이는 유일하게 계산 가능한 모델만을 가지는 성질과 동일하게 성립한다.
• 트리에서 이론 $T_e$ 를 구성함으로써, 트리가 무한한 경로를 가지지 않으면서 $T_e$ 가 정확히 세 개의 모델을 가지며, 트리가 무한히 많은 경로를 가진다면 $T_e$ 가 연속체 개의 모델을 가짐을 보장한다.
• 비트리 노드를 위한 상수 기호와 관계 기호를 추가함으로써 언어를 고정할 수 있으며, 이는 복잡도 결과를 유지한다.