递归不可达序数：修订间差异

2025年8月29日 (五) 16:53的最新版本

递归不可达序数 $I$ 是一个大反射序数，定义为 $2 1 - 2$ 。

以下介绍 I 及多元 I 函数在 OCF 中的折叠规则。

$ψ_{I} (0) = 1st (1 -)^{1, 0} 2$
$ψ_{I} (α + 1) \neq ψ_{I} (α)$ 则 $ψ_{I} (α + 1) = (1 -)^{1, 0} aft ψ_{I} (α)$
$ψ_{I} (α) [n] = ψ_{I} (α [n])$ ,注意这里 $α$ 可以有比 $ω$ 长的基本列
$ψ_{I} (α) [n] = ψ_{I} (α [ψ_{I} (α) [n - 1]]), ψ_{I} (α) [0] = Ω$ ,这里 $α$ 基本列长为I.

TO DO: 多元I 的 OCF

@@ 第6行： / 第6行： @@
 # <math>\psi_I(0)=\text{1st }(1-)^{1,0}~2 </math>
 # <math>\psi_I(\alpha+1)\neq\psi_I(\alpha)</math> 则 <math>\psi_I(\alpha+1)=(1-)^{1,0}\text{ aft }\psi_I(\alpha)</math>
+# <math>\psi_I(\alpha)[n]=\psi_I(\alpha[n])</math>,注意这里<math>\alpha</math>可以有比<math>\omega</math>长的基本列
+# <math>\psi_I(\alpha)[n]=\psi_I(\alpha[\psi_I(\alpha)[n-1]]),\psi_I(\alpha)[0]=\Omega</math>,这里<math>\alpha</math>基本列长为I.
-''TO DO: I 的 OCF''
+''TO DO: 多元I 的 OCF''