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

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

@@ 第1行： / 第1行： @@
-<math>(1)\psi_I(0)=1st
+递归不可达序数 <math>I</math> 是一个大[[反射序数]]，定义为 <math>2~1-2</math>。
-(1-)^{1,0} 2 </math>
-<math>(2)\psi_I(a+1)\neq\psi_I(a)</math>则<math>\psi_I(a+1)=(1-)^{1,0}aft\psi_I(a)</math>
+=== I 的 OCF ===
+以下介绍 I 及多元 I 函数在 [[序数坍缩函数|OCF]] 中的折叠规则。
+# <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''