[논문 리뷰] Iterating the recursively Mahlo operations

Toshiyasu Arai|arXiv (Cornell University)|2010. 05. 12.

Advanced Algebra and Logic참고 문헌 9인용 수 8

한 줄 요약

이 논문은 고차원 반사 유니버스에서 재귀적으로 마를로 연산 $M_2$ 를 반복할 때의 증명 이론적 강도를 조사하며, $\Pi_N$-반사 유니버스가 $\Sigma_1$-지수적 순서에서 높이 $N-3$ 인 $M_2$ 반복으로 증명 이론적으로 환원 가능하다는 것을 보여준다. 주요 결과는 이러한 반복이 $\Pi_N$-반사 유니버스의 강도를 정확히 포괄한다는 것이다.

ABSTRACT

In this paper we address a problem: How far can we iterate lower recursively Mahlo operations in higher reflecting universes? Or formally: How much can lower recursively Mahlo operations be iterated in set theories for higher reflecting universes? It turns out that in $Π_N$-reflecting universes the lowest recursively Mahlo operation can be iterated along towers of $Σ_1$-exponential orderings of height $N-3$, and that all we can do is such iterations. Namely the set theory for $Π_N$-reflecting universes is proof-theoretically reducible to iterations of the operation along such a tower.

연구 동기 및 목표

• 더 낮은 재귀적으로 마를로 연산($M_2$)이 더 높은 반사 유니버스의 집합 이론 내에서 얼마나 반복될 수 있는지 파악하는 것.
• 반복된 $M_2$ 연산을 통해 $\Pi_N$-반사 유니버스의 증명 이론적 강도를 기술하는 것.
• $\Pi_N$-반사 유니버스가 $\Sigma_1$-지수적 순서에서 높이 $N-3$ 인 $M_2$ 반복으로 증명 이론적으로 환원 가능하다는 것을 입증하는 것.
• 전이수 인도와 $\Sigma_1$-관계의 정렬성의 역할을 분석하여 더 높은 반사 유니버스를 근사하는 데 기여하는 것.

제안 방법

• 모든 클래스 $\mathcal{X}$ 에서 $\Pi_i$-반사 성질을 포착하는 보편적 $\Pi_i$-공식 $\Pi_i(a)$ 를 통해 $\Pi_i$-재귀적으로 마를로 연산 $M_i(\mathcal{X})$ 를 정의한다.
• 순서수 $\beta$ 에 대해 전이수 재귀를 사용하여 $M_i^\beta$ 를 정의함으로써 반복된 연산의 계층을 형성하고, 반사 강도의 계층을 구축한다.
• $\omega$ 상에서 $\Sigma_1$-정의 가능한 관계 $\prec$ 를 도입하여 $M_i$ 의 반복을 매개변수화하며, 특히 $\Sigma_1$-거의정렬관계에 집중한다.
• $\{\eta_i^m\}$ 의 수열에서 타워 형태의 지수적 순서 $T(\eta)$ 를 구성하며, $\lhd_T$ 와 $<_{TW}$ 는 이러한 타워 상에서 정렬된 순서를 정의한다.
• $\mathcal{W}$ 의 최대 구별된 클래스에 속하는지를 특징짓는 $\Pi_2$-공식 $g(\eta)$ 를 정의하여, 고착된 체계의 극한에서의 절대성 보장.
• $\mathrm{L} \in M_2(M_2(T(\eta); <_{TW}))$ 이면 $\eta \in \mathcal{W}^\mathrm{L}$ 이다를 증명함으로써, 반복 강도와 $\mathrm{Od}(\Pi_N)$ 의 정렬성 간의 연결을 맺는다.

실험 결과

연구 질문

• RQ1 어느 정도까지 $M_2$ 연산이 $\Pi_N$-반사 유니버스 내에서 반복되어 그 증명 이론적 강도를 포괄할 수 있는가?
• RQ2 $\mathrm{KP}\Pi_N$ 와 증명 이론적으로 환원 가능한 이론을 얻기 위한 $M_2$ 의 최소 반복 체계는 무엇인가?
• RQ3 $\omega$ 상의 $\Sigma_1$-관계를 사용하여 $M_2$ 반복을 통해 $\Pi_N$-반사 유니버스를 근사할 수 있는가?
• RQ4 $\Sigma_1$-관계에 沿한 전이수 인도가 이러한 반복의 일관성을 확립하는 데 어떤 역할을 하는가?
• RQ5 구별된 클래스와 $\mathrm{Od}(\Pi_N)$ 의 정렬성은 $M_2$ 연산의 반복과 어떻게 관련되어 있는가?

주요 결과

• $\mathrm{KP}\Pi_N$ 이론이 $\mathrm{KP}\ell + \{\mathrm{L} \in M_2(a; \lhd_i) : a \in \omega\}$ 로 증명 이론적으로 환원 가능하다는 것을 보이며, 이는 $\Sigma_1$-거의정렬관계 $\lhd_i$ 를 사용하여 정확한 환원을 확립한다.
• $\Sigma_1$-지수적 순서에서 높이 $N-3$ 인 $M_2$ 반복은 $\mathrm{KP}\Pi_N$ 의 증명 이론적 강도를 포괄하는 데 충분하다.
• 각 $\eta \in \mathrm{Od}(\Pi_N)$ 에 대해 $\mathrm{L} \in M_2(M_2(T(\eta); <_{TW}))$ 이면 $\eta \in \mathcal{W}^\mathrm{L}$ 이다를 증명함으로써, 반복과 순서 표기 체계의 정렬성 간의 연결을 맺는다.
• $\mathrm{Od}(\Pi_N)$ 의 정렬성은 각각의 $\eta < \Omega$ 에 대해 $\{\mathrm{L} \in M_2(M_2(T(\eta); <_{TW})) : \eta \in \mathrm{Od}(\Pi_N)\}$ 를 $\mathrm{KP}\ell$ 상에서 증명함으로써 유도된다.
• $\mathrm{KP}\Pi_{i+1}$ 는 $\Sigma_1$-관계 $\prec$ 에 대해 $\forall a \in \omega [TI(a, \prec, \Pi_{i+1}) \to \mathrm{L} \in M_i(a; \prec)]$ 를 증명함으로써, 이러한 환원을 위해 전이수 인도가 필수적임을 보여준다.
• $\lhd_i$ 와 $<_{TW}$ 의 구성은 $\mathrm{L} \in M_2(M_2(T(\eta); <_{TW}))$ 이면 $\eta \in \mathcal{W}^\mathrm{L}$ 이다를 보장함으로써, 반복 체계의 정확성을 확인한다.