[论文解读] Iterating the recursively Mahlo operations

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

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

一句话总结

本文研究了在高阶反射宇宙中迭代递归马尔科夫操作 $M_2$ 的证明论强度，表明 $\Pi_N$-反射宇宙在证明论上可归约为沿 $\Sigma_1$-指数序的 $M_2$ 迭代，其高度为 $N-3$。关键结果表明，此类迭代精确捕捉了 $\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$-指数序的 $M_2$ 迭代，其高度为 $N-3$。
• 分析在逼近更高阶反射宇宙时，关于 $\Sigma_1$-关系的超限归纳与良基性所起的作用。

提出的方法

• 通过通用 $\Pi_i$-公式 $\Pi_i(a)$ 定义 $\Pi_i$-递归马尔科夫操作 $M_i(\mathcal{X})$，该公式在类 $\mathcal{X}$ 上捕捉 $\Pi_i$-反射性质。
• 使用超限递归定义序数 $\beta$ 的迭代操作 $M_i^\beta$，形成反射强度的层级结构。
• 在 $\omega$ 上引入 $\Sigma_1$-定义的关系 $\prec$ 以参数化 $M_i$ 的迭代，特别关注 $\Sigma_1$-近似良基关系。
• 从序列 $\{\eta_i^m\}$ 构造指数序的塔 $T(\eta)$，其中 $\lhd_T$ 和 $<_{TW}$ 在这些塔上定义良基序。
• 定义一个 $\Pi_2$-公式 $g(\eta)$ 以表征属于最大区分类 $\mathcal{W}$ 的成员资格，确保在可去闭包极限下的绝对性。
• 证明 $\mathrm{L} \in M_2(M_2(T(\eta); <_{TW}));$ 意味着 $\eta \in \mathcal{W}^\mathrm{L}$，将迭代强度与 $\mathrm{Od}(\Pi_N)$ 的良基性联系起来。

实验结果

研究问题

• RQ1 在 $\Pi_N$-反射宇宙中，$M_2$ 操作可被迭代到多远，以捕捉其证明论强度？
• RQ2 何种最小迭代方案的 $M_2$ 能够产生与 $\mathrm{KP}\Pi_N$ 证明论等价的可归约理论？
• 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\}$，其中 $\lhd_i$ 为 $\Sigma_1$-近似良基关系，建立了精确的归约。
• 沿高度为 $N-3$ 的 $\Sigma_1$-指数序的 $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}$ 证明 $\forall a \in \omega [TI(a, \prec, \Pi_{i+1}) \to \mathrm{L} \in M_i(a; \prec)]$，其中 $\prec$ 为 $\Sigma_1$-关系，表明超限归纳对于此类归约是必要的。
• $\lhd_i$ 与 $<_{TW}$ 的构造确保 $\mathrm{L} \in M_2(M_2(T(\eta); <_{TW}))$ 蕴含 $\eta \in \mathcal{W}^\mathrm{L}$，确认了迭代方案的正确性。