递归不可达序数

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

I 的 OCF

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

1. ${\psi }_I(0)=\text{1st }(1-{)}^{1,0}2$
2. ${\psi }_I(\alpha +1)\ne {\psi }_I(\alpha )$ 则 ${\psi }_I(\alpha +1)=(1-{)}^{1,0}\text{ aft }{\psi }_I(\alpha )$
3. ${\psi }_I(\alpha )[n]={\psi }_I(\alpha [n])$,注意这里$\alpha$可以有比$\omega$长的基本列
4. ${\psi }_I(\alpha )[n]={\psi }_I(\alpha [{\psi }_I(\alpha )[n-1]]),{\psi }_I(\alpha )[0]=\mathrm{\Omega }$,这里$\alpha$基本列长为I.

TO DO: 多元I 的 OCF