[論文レビュー] Iterating the recursively Mahlo operations

Toshiyasu Arai|arXiv (Cornell University)|May 12, 2010

Advanced Algebra and Logic参考文献 9被引用数 8

ひとこと要約

この論文は、高階の反映型ユニバースにおける再帰的マーロ操作 $M_2$ の反復の証明論的強さを調査し、$Π_N$-反映型ユニバースが $Σ_1$-指数的順序型の高さ $N-3$ に沿った $M_2$ の反復に証明論的に還元可能であることを示している。主な結果は、このような反復が $Π_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$ 操作の反復を用いて、$Π_N$-反映型ユニバースの証明論的強さを特徴づけること。
• $Π_N$-反映型ユニバースが $Σ_1$-指数的順序型の高さ $N-3$ に沿った $M_2$ の反復に証明論的に還元可能であることを確立すること。
• 順序型の高さ $N-3$ に沿った $M_2$ の反復が、高階の反映型ユニバースを近似するために、$Σ_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$ 操作は、$Π_N$-反映型ユニバース内でどれほど反復可能であり、それがその証明論的強さを捉えることができるか。
• RQ2 $\mathrm{KP}\Pi_N$ に等価な証明論的還元可能な理論を生成する、$M_2$ の最小の反復スキームは何か。
• RQ3 $\omega$ 上の $\Sigma_1$-関係を用いて、$M_2$ の反復によって $Π_N$-反映型ユニバースを近似できるか。
• RQ4 超限帰納法が $\Sigma_1$-関係に沿って適用された場合、その反復の整合性を確立するために果たす役割は何か。
• RQ5 区別されたクラスと $\mathrm{Od}(\Pi_N)$ の正規性は、$M_2$ 操作の反復とどのように関係しているか。

主な発見

• 集合論 $\mathrm{KP}\Pi_N$ は、$\Sigma_1$-ほぼ正規順序型 $\lhd_i$ を持つ $\mathrm{KP}\ell + \{\mathrm{L} \in M_2(a; \lhd_i) : a \in \omega\}$ に証明論的に還元可能であり、正確な還元を確立している。
• $M_2$ の反復が $Σ_1$-指数的順序型の高さ $N-3$ に沿って行われる場合、$Π_N$-反映型ユニバースの証明論的強さを捉えるのに十分である。
• 各 $\eta \in \mathrm{Od}(\Pi_N)$ に対して、$\mathrm{L} \in M_2(M_2(T(\eta); <_{TW}))$ ならば $\eta \in \mathcal{W}^\mathrm{L}$ であることが成り立つ。これにより、反復と ordinal notation system の正規性が結びつけられる。
• $\mathrm{Od}(\Pi_N)$ の各 $\eta < \Omega$ に対する正規性は、$\mathrm{KP}\ell$ 上で $\{\mathrm{L} \in M_2(M_2(T(\eta); <_{TW})) : \eta \in \mathrm{Od}(\Pi_N)\}$ から導かれる。
• $\mathrm{KP}\Pi_{i+1}$ は、任意の $a \in \omega$ に対して $\mathrm{L} \in M_i(a; \prec)$ を示す $\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}$ であることが保証され、反復スキームの正しさが確認された。