[논문 리뷰] Comparing WO$(\omega^\omega)$ with $\Sigma^0_2$ induction

Stephen G. Simpson|arXiv (Cornell University)|2015. 08. 11.

Computability, Logic, AI Algorithms참고 문헌 5인용 수 3

한 줄 요약

이 논문은 이차순서산술의 체계들인 $\Sigma^0_2$ 귀납법 (I$\Sigma^0_2$)과 $\Sigma^0_2$ 유계성 (B$\Sigma^0_2$)과 WO$(\omega^\omega)$—$\omega^\omega$가 잘서수임을 나타내는 문장—사이의 논리적 관계를 규명한다. I$\Sigma^0_2$는 WO$(\omega^\omega)$를 함의하지만, WO$(\omega^\omega)$는 B$\Sigma^0_2$를 함의하지 않으며, 이 둘의 조합도 I$\Sigma^0_2$를 함의하지 않는다. 따라서 WO$(\omega^\omega)$는 증명론적 강도 측면에서 B$\Sigma^0_2$와 I$\Sigma^0_2$ 사이에 엄밀히 놓여 있다.

ABSTRACT

Let WO$(\\omega^\\omega)$ be the statement that the ordinal number $\\omega^\\omega$ is well ordered. WO$(\\omega^\\omega)$ has occurred several times in the reverse-mathematical literature. The purpose of this expository note is to discuss the place of WO$(\\omega^\\omega)$ within the standard hierarchy of subsystems of second-order arithmetic. We prove that WO$(\\omega^\\omega)$ is implied by I$\\Sigma^0_2$ and independent of B$\\Sigma^0_2$. We also prove that WO$(\\omega^\\omega)$ and B$\\Sigma^0_2$ together do not imply I$\\Sigma^0_2$.

연구 동기 및 목표

• 이차순서산술의 체계 계층 내에서 $\omega^\omega$가 잘서수임을 나타내는 문장인 WO$(\omega^\omega)$의 증명론적 강도를 명확히 하는 것.
• WO$(\omega^\omega)$가 $\Sigma^0_2$ 귀납법 (I$\Sigma^0_2$) 또는 $\Sigma^0_2$ 유계성 (B$\Sigma^0_2$)를 함의하거나 함의당하는지 여부를 규명하는 것.
• RCA$_0$ 위에서 WO$(\omega^\omega)$와 B$\Sigma^0_2$가 서로 독립임을 입증하고, 이들의 결합이 I$\Sigma^0_2$를 함의하지 않는다는 것을 보이는 것.
• 역수학의 맥락에서 WO$(\omega^\omega)$, I$\Sigma^0_2$, B$\Sigma^0_2$ 사이의 논리적 관계에 대한 모델이론적 및 증명론적 분석을 수행하는 것.

제안 방법

• 내림차순 수열 $f$가 $\omega^\omega$에 존재할 경우를 가정하고, 그에 대해 $\Phi(n,f)$가 성립함을 $\Pi^0_2$ 귀납법을 통해 증명함으로써 모순을 이끌어내는 방식으로, 내림차순 수열이 존재할 수 없음을 보임.
• $\Pi^0_2$ 귀납법을 적용하여 $\omega^\omega$ 내의 내림차순 수열의 구조를 분석하고, 캔터 정규형 및 순서수 산술의 성질을 활용함.
• B$\Sigma^0_2$ + $\Psi$의 비표준 모델 $M$을 구성한 후, 비표준 원소 $c$로부터 $\Sigma^0_2$-정의 가능성을 이용해 초기 부분모델 $\widehat{M}_2$를 형성함으로써 모델의 닫힘 성질을 분석함.
• 부족스pill(underspill) 및 코final리티(cofinality) 추론을 사용하여, $\widehat{M}_2$가 B$\Sigma^0_2$와 WO$(\omega^\omega)$를 만족하지만 I$\Sigma^0_2$는 만족하지 않음을 보임. 이를 위해 유계된 부분집합에서 비유계된 부분집합으로의 $\Sigma^0_2$-정의 가능한 전성사상이 존재함을 보임.
• $\Sigma^0_2$-원소적 부분모델과 공식의 통일화 기법을 적용하여, $\widehat{M}_2$가 I$\Sigma^0_2$를 만족하지 않지만 B$\Sigma^0_2$와 WO$(\omega^\omega)$는 유지됨을 보임.
• RCA$_0$ + B$\Sigma^0_2$ + WO$(\alpha)$의 일致성(일致성)이 I$\Sigma^0_2$를 증명하지 못함을 보이기 위해, 일반화된 모델이론적 구성 기법을 적용함.

실험 결과

연구 질문

• RQ1 이차순서산술의 맥락에서 I$\Sigma^0_2$는 WO$(\omega^\omega)$를 함의하는가?
• RQ2 RCA$_0$ + B$\Sigma^0_2$에서 WO$(\omega^\omega)$는 증명 가능한가?
• RQ3 WO$(\omega^\omega)$와 B$\Sigma^0_2$가 함께 존재할 때 I$\Sigma^0_2$를 증명할 수 있는가?
• RQ4 WO$(\omega^\omega)$의 정확한 증명론적 강도는 표준적인 이차순서산술 체계들에 비해 어떠한가?
• RQ5 I$\Sigma^0_2$를 만족하지 않는 RCA$_0$ + B$\Sigma^0_2$ + WO$(\omega^\omega)$의 모델이 존재하는가?

주요 결과

• WO$(\omega^\omega)$는 RCA$_0$ + I$\Sigma^0_2$에서 증명 가능하며, 이는 $\omega^\omega$ 내의 내림차순 수열의 구조에 대한 $\Pi^0_2$ 귀납법을 통해 입증됨.
• RCA$_0$ 위에서 WO$(\omega^\omega)$는 B$\Sigma^0_2$를 함의하지 않으며, 이는 Ackermann 함수의 전수성(전체성)이 RCA$_0$ + WO$(\omega^\omega)$에서는 증명 가능하지만 RCA$_0$ + B$\Sigma^0_2$에서는 증명 불가능하기 때문임.
• WO$(\omega^\omega)$와 B$\Sigma^0_2$가 함께 존재하더라도 I$\Sigma^0_2$를 함의하지 않으며, 이를 위해 $\widehat{M}_2$라는 모델을 구성하여 이 모델이 둘을 모두 만족하지만 I$\Sigma^0_2$는 만족하지 않음을 보임.
• $\widehat{M}_2$는 B$\Sigma^0_2$ + $\Psi$의 비표준 모델 $M$의 초기 부분모델로, 비표준 원소 $c$로부터의 $\Sigma^0_2$-정의 가능성을 통해 구성되며, WO$(\omega^\omega)$와 B$\Sigma^0_2$를 만족하지만 I$\Sigma^0_2$는 만족하지 않음.
• 이 증명은 부족스pill과 $\Sigma^0_2$-귀납법의 실패에 기반하며, 이는 $\widehat{M}_2$ 내에서 유계된 부분집합에서 비유계된 부분집합으로의 $\Sigma^0_2$-정의 가능한 전성사상이 존재하기 때문임.
• 결과는 고차원으로 일반화 가능하며, $k \geq 2$에 대해 WO$(\omega_k)$는 RCA$_0$ + I$\Sigma^0_k$에서 증명 가능하지만 RCA$_0$ + B$\Sigma^0_k$에서는 증명 불가능하며, 이들의 조합도 I$\Sigma^0_k$를 함의하지 않음.