投影序数

投影序数(projection)是test_alpha0创造的非递归记号。投影序数是目前为止最方便的强大非递归序数表达方式，伴生的限制则是——它很有可能永远无法良定义（至少在比较小的序数处如此）。但即使如此，它可以作为非递归序数和递归记号的交接桥梁，并在国内大数社群广泛地被使用。

定义

第一个2-投影序数

我们定义1-投影序数($1-projection$)就是传统的非递归序数。

$2-projection$是一系列很大的非递归序数。它们被认为是$a{<}_{{\mathrm{\Sigma }}_1}Ord$.第n个$2-projection$被写作$a_n$.现在让我们把$a$放进OCF里：

• ${\psi }_a(0)=\mathrm{\Omega }$
• ${\psi }_a(X+1)={\psi }_a(X)\times \omega$
• ${\psi }_a(X\sim a)=\beta \to \psi (X\sim \beta )\text{不动点}$，其中~是任意运算或者是任意递归函数。

到这里，${\psi }_a$和${\psi }_{{\mathrm{\Omega }}_2}$还没有区别，区别在下面这一条：

如果β是非$2-projection$的$1-projection$，则${\psi }_a(X\sim \beta )=\bigcup _{\gamma <\beta }{\psi }_a(X\sim \gamma )$,其中~是任意运算或者是任意递归函数.

这条规则乍一看平平无奇，但是注意，a的下一个Ω序数，即${\mathrm{\Omega }}_{a+1}$，也是一个$1-projection$！这意味着，${\psi }_a({\mathrm{\Omega }}_{a+1})\ne {\psi }_a({\psi }_{{\mathrm{\Omega }}_{a+1}}({\psi }_{{\mathrm{\Omega }}_{a+1}}({\psi }_{{\mathrm{\Omega }}_{a+1}}(\cdots ))))$,而是等于$sup\{{\psi }_a(a),{\psi }_a(a^a),{\psi }_a({\epsilon }_{a+1}),{\psi }_a({\zeta }_{a+1}),{\psi }_a({\mathrm{\Gamma }}_{a+1}),{\psi }_a(BO(a+1)),\cdots \}$.通俗的说，就是需要穷尽a的递归运算。投影序数能挣脱${\mathrm{\Omega }}_2$的藩篱，正是靠这个本事。但其问题也是出在这里。因为我们无法直接定义${\mathrm{\Omega }}_{a+1}$之下的所有递归运算，因此投影序数直接作为非递归记号依然是不良的。但是它作为放进OCF 里的递归记号却是良的，因此放心使用。

更多的2-投影序数

我们定义${\psi }_{a_n}$如下：

• ${\psi }_a(0)=\mathrm{\Omega }$
• ${\psi }_{a_{n+1}}(0)={\mathrm{\Omega }}_{a_n+1}$
• ${\psi }_{a_n}(X+1)={\psi }_{a_n}(X)\times \omega$
• ${\psi }_{a_n}(X\sim a_m)={\psi }_{a_n}(X\sim \beta \to {\psi }_{a_m}(X\sim \beta )\text{不动点})$，其中~是任意运算或者是任意递归函数,m>n.
• 如果β是非$2-projection$的$1-projection$，则${\psi }_{a_n}(X\sim \beta )=\bigcup _{\gamma <\beta }{\psi }_{a_n}(X\sim \gamma )$,其中~是任意运算或者是任意递归函数.

它们的作用可以理解为，当你在${\psi }_a$内部需要用到${\mathrm{\Omega }}_{a+2},I_{a+1},M_{a+1},\cdots$这些东西的时候，需要${\psi }_{a_2}$来表示它们。

n-投影序数

定义 p_m 是 $m\text{th}n+1-\mathrm{P}\mathrm{r}\mathrm{o}\mathrm{j}\mathrm{e}\mathrm{c}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}$ ， q 是 $\text{1st}n-\mathrm{P}\mathrm{r}\mathrm{o}\mathrm{j}\mathrm{e}\mathrm{c}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}$ ，P_n 是 $n-\mathrm{P}\mathrm{r}\mathrm{o}\mathrm{j}\mathrm{e}\mathrm{c}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}$ 的集合：

\begin{align} &ψ_{p_1}(0)=q&(1)\\ &ψ_{p_{m+1}}(0)=p_m&(2)\\ &ψ_{p_m}(\#\sim X_{{p_m}+1})=\sup\{ψ_{p_m}(\#\sim t)\ \vert\ t<X_{{p_m}+1},X∈P_k,k∈\{1,…,n\}\}&(3)\\ &ψ_{p_m}(t+1)=ψ_{p_m}(t)×ω&(4)\\ &ψ_{p_m}(\#\sim {p_m})=β→ψ_{p_m}(\#\sim β)\ \rm Fixed\ Point&(5)\\ \end{align}\\

以上规则便统一定义了 $n-\mathrm{P}\mathrm{r}\mathrm{o}\mathrm{j}\mathrm{e}\mathrm{c}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}$。