查看“︁Σ1稳定序数”︁的源代码

Σ1稳定序数是一个非递归记号。它是最初级的[[稳定序数]]。本条目介绍<math>\omega-\pi-\Pi_0</math>之前的Σ1稳定链的结构讲解。

前排提示：请先阅读条目[[反射序数]]。

== 结构讲解 ==

=== 反射序数的进位模式 ===
绝大多数读者应该在学习[[序数坍缩函数|OCF]] 时第一次接触“折叠 (Collapsing) ”这个概念。在最基础的OCF中，我们以 <math>\omega^{\text{CK}}_n=\Omega_n</math>作为折叠用的序数。

[[序数#递归序数与非递归序数|递归序数]]与非递归序数的差距，是我们对“折叠”最直观的感受——一个序数想要“折叠”它下方的序数，前提应该是：它下方的一系列序数如何递归运算都达不到它本身。

比如， Ω 是 ω 作任何递归运算都无法得到的序数，任何的 <math>\omega^\omega,\varepsilon_0,\rm BO,\rm \psi(\psi_I(0))</math>… 都小于Ω。

再往上，“递归运算”好像也需要被加强。 M 看起来像是从 Ω 出发如何取容许点都得不到的序数， K 是如何取<math>\Pi_2\rm\ onto</math> 都得不到的序数……

有没有什么方式，能够系统性地总结这些规律呢？

我们曾经用<math>(1-)^{1,0}</math>定义 <math>\alpha\rightarrow(1-)^{\alpha}</math>的不动点。现在，我们尝试一种新的记法： <math>(1-)^{\alpha}=(1-)^{1,0}</math>

在这种记法中，<math>(1-)^{\alpha}</math>被定义成：<math>(1-)^{\alpha}=\{\alpha|\forall \beta<\alpha,\alpha\in(1-)^\beta\}</math>

右边的集合定义了一个“真不动点”，也就是这样定义出来的<math>\rm onto^\alpha</math>都是<math>\rm real. onto^{1,0}</math> 。

这种记法定义出来的<math>(1-)^\alpha</math>为<math>\{\varepsilon_0,\varepsilon_1,\varepsilon_2,\cdots\}</math> 。

再往上，我们还可以定义<math>(1-)^{\alpha+1}</math> ：<math>(1-)^{\alpha+1}=\Pi_1\ \rm onto\ (1-)^\alpha</math>

此处的<math>(1-)^\alpha</math> 和上文的定义相同。这样的定义可以规避不存在 <math>\alpha=\varepsilon_{\alpha+1}</math>的问题。

以此类推，我们有：<math>(1-)^{\alpha+n}=(1-)^n\ (1-)^\alpha</math>

然后定义<math>(1-)^{\alpha\times2}</math>：<math>(1-)^{\alpha\times2}=\{\alpha|\forall\beta<\alpha,\alpha\in1-)^{\alpha+\beta}\}</math>

考虑<math>(1-)^{\alpha+n}</math> ，

当 <math>n=\varepsilon_0</math>的时候， <math>(1-)^{\alpha+n}</math> 实际上就是 <math>\varepsilon_{\varepsilon_0}</math>这一类序数；

当 <math>n=\varepsilon_{\varepsilon_0}</math>的时候， <math>(1-)^{\alpha+n}</math> 则是 <math>\varepsilon_{\varepsilon_{\varepsilon_0}}</math>之类的序数。

以此类推， <math>(1-)^{\alpha\times2}</math>实际上就是所有 ζ 序数的真类（真类一般是一个比集合更大的概念）。

同样地， <math>(1-)^{\alpha\times3}</math>则是 <math>\eta</math>序数的真类，<math>(1-)^{\alpha\times\omega}</math> 则是 <math>\varphi(\omega,n)</math>序数的真类。

继续，还可以定义 <math>(1-)^{\alpha^2}, (1-)^{\alpha^\alpha} , (1-)^{\varepsilon_{\alpha+1}} \cdots</math>

细心的读者会发现，这里的α实际上与OCF中Ω的行为相当相似，<math>\alpha\times n</math> 与 <math>\psi(\Omega^n)</math> 起到的作用相当。

我们常说<math>\Pi_2</math>折叠<math>(1-)^{\alpha,\beta,\gamma,\cdots}</math> ，也会说Ω折叠了<math>\psi(n)</math>，而这里的 <math>(1-)^{\alpha,\beta,\gamma,\cdots}</math>和 <math>\psi(n)</math>都可以被<math>(1-)^{\alpha\text{的递归运算}}</math> 所代替，通过α更加复杂的递归运算，我们总能表示通过<math>\Pi_1</math>和onto 得到的一系列真类。

在<math>\psi(\Omega_{I+1})</math>等地方，我们使用 <math>\Omega_{I+1}</math>来折叠 <math>I,I^I,I^{I^I},\cdots</math>等 I 的递归运算。这样的做法可以扩展到更大的各种非递归序数。

那么既然诸如 <math>\Omega_{\alpha+1}</math> 这样的α的非递归运算可以折叠α的递归运算，那么我们也可以用<math>(1-)^{\Omega_{\alpha+1}}</math>来表示一个折叠 <math>\Pi_1-\rm reflection</math>的真类，即：<math>\Pi_2=\Pi_1\rm \ onto^{\Omega_{\alpha+1}}</math>

又称作：<math>\Pi_1</math>和<math>\Pi_2</math>之间的进位为迭代<math>\Omega_{\alpha+1}</math>次进位。

这种记法是一种服务于应用的记法，想要严谨化定义它需要相当复杂的集合论和数理逻辑知识，此处不多作介绍。

同样地，按照这种记法，能够有：

<math>2\ 1-2=(1-)^{\Omega_{\alpha+1}}\ 2</math>

<math>2-2=(2\ 1-)^{\Omega_{\alpha+1}}</math>

这种记法巧妙地将“取容许点”等概念化作一个序数的递归运算，从而将各种“折叠方式”统一。

这样的事实也解释了为什么我们总是用<math>\psi_I</math>折叠<math>\Phi(\alpha,\beta,\gamma,\cdots)</math>和<math>\psi_M</math>折叠 <math>I(\alpha,\beta,\gamma,\cdots)</math>，而不选择用<math>\psi_M</math>去折叠 <math>\Phi(\alpha,\beta,\gamma,\cdots)</math>：

因为 <math>\Phi(\alpha,\beta,\gamma,\cdots)</math>对应的刚好是 <math>(1-)^{\alpha\text{的递归运算}}~2</math> ，那么折叠它的理应是 <math>2\ 1-2=(1-)^{\Omega_{\alpha+1}}\ 2</math>；<math>I(\alpha,\beta,\gamma,\cdots)</math>对应的刚好是 <math>(2\ 1-)^{\alpha\text{的递归运算}}</math> ，折叠它的理应是 <math>2-2=(2\ 1-)^{\Omega_{\alpha+1}}</math>。

以下是一些例子：

对于<math>2~1-(2-2)</math>，按照 [[初等序列系统|PrSS]]方式展开，我们知道它是 <math>(1-)^{\alpha,\beta,\gamma,\cdots}\ 2-2</math>。这对应了 <math>(1-)^{\alpha\text{的递归运算}}\ 2-2</math>，故折叠它的是<math>(1-)^{\Omega_{\alpha+1}}\ 2-2</math> ，这个式子就是 <math>2\ 1-(2-2)</math> 。

对于<math>2~1-(2~1-)^{1,0}(2-2)</math>，按照PrSS方式展开，我们知道它是 <math>(1-)^{\alpha,\beta,\gamma,\cdots}\ (2\ 1-)^{1,0}\ 2-2</math>。这对应了 <math>(1-)^{\alpha\text{的递归运算}}\ (2\ 1-)^{1,0}\ 2-2</math> ，故折叠它的是<math>(1-)^{\Omega_{\alpha+1}}\ (2\ 1-)^{1,0}\ 2-2</math> ，这个式子就是 <math>2\ 1-(2\ 1-)^{1,0}\ (2-2)</math> 。

对于<math>2-2\ 1-2-2</math>，按照PrSS方式展开，我们知道它是 <math>(2\ 1-)^{\alpha,\beta,\gamma\cdots}\ 2-2</math> 。这对应了<math>(2\ 1-)^{\alpha\text{的递归运算}}\ 2-2</math>  ，故折叠它的是 <math>(2\ 1-)^{\Omega_{\alpha+1}}\ 2-2</math>，这个式子就是 <math>2-2\ 1-2-2</math> 。

在反射序数的更高阶段，仍然遵从<math>\Omega_{\alpha+1}</math>次进位： 

<math>2-2-2=(2-2\ 1-)^{\Omega_{\alpha+1}}</math>

<math>3=(2-)^{\Omega_{\alpha+1}}</math>

<math>3-3=(3\ 2-)^{\Omega_{\alpha+1}}</math>

<math>4=(3-)^{\Omega_{\alpha+1}}</math>……

一般地，只要是基于PrSS规则展开的反射序数表达式，都遵循迭代<math>\Omega_{\alpha+1}</math>次进位。

=== 稳定序数的定义基础 ===
走完反射序数的长路，我们就得到了 <math>\rm psd.\Pi_\omega</math> 。如果我们对它进行一系列更强的迭代，就可以有：

<math>\rm\Pi_1\ onto\ psd.\Pi_\omega</math>、<math>\rm\Pi_2\ onto\ psd.\Pi_\omega</math>、<math>\rm\Pi_3\ onto\ psd.\Pi_\omega,\cdots</math>、<math>\rm psd.\Pi_\omega\ onto\ psd.\Pi_\omega</math>、<math>\rm psd.\Pi_\omega\ onto\ psd.\Pi_\omega\ onto\ psd.\Pi_\omega</math>、<math>\rm psd.\Pi_\omega\ onto^4</math>、<math>\rm psd.\Pi_\omega\ onto^\omega</math>、<math>\rm psd.\Pi_\omega\ onto^\alpha=\rm psd.\Pi_\omega\ onto^{1,0}</math>、<math>\rm psd.\Pi_\omega\ onto^{\alpha^{\alpha}}\cdots</math>

然后我们得到 <math>(\rm real.)\ \Pi_\omega=\rm psd.\Pi_\omega\ onto^{\Omega_{\alpha+1}}</math>。

通过一些特殊手段，我们还可以定义下标超过 ω的反射序数，比如：

<math>\Pi_{\omega+1}=\Pi_\omega\rm \ onto^{\Omega_{\alpha+1}}</math>

<math>\Pi_{\omega+2}=\Pi_{\omega+1}\rm \ onto^{\Omega_{\alpha+1}}</math>

<math>\rm psd.\Pi_{\omega\times2}=\sup\{\Pi_{\omega+n}\ |\ \textit n\in\omega\}</math>

<math>\rm real.\Pi_{\omega\times2}=psd.\Pi_{\omega\times2}\rm \ onto^{\Omega_{\alpha+1}}</math>……

继续，我们还可以定义<math>\Pi_{\omega^\omega},\Pi_{\varepsilon_0},\Pi_{\Omega},\Pi_{I},\Pi_{\Pi_\omega},\cdots</math> 一直到<math>\alpha\rightarrow\Pi_{\alpha}=\Pi_{1,0}</math> 。

不过，我们有一个更高效的方式，那就是稳定序数。

如果α是<math>\rm real.\Pi_\omega</math>反射序数，那么α 就是 α+1 稳定序数；

如果α是<math>\rm real.\Pi_{\omega\times2}</math>反射序数，那么α就是α+2 稳定序数；

……

如果α是<math>\rm psd.\Pi_{1,0}</math>反射序数，那么α就是<math>\alpha\times2</math>稳定序数。

稳定序数的 + 后面每后继一个序数，就对应了反射序数的ω个层级。这样的迭代简单而高效，且便于继续扩展。

把反射序数的各种迭代看做是Veblen 函数，那么稳定序数就像是OCF 。

现在，让我们看一看稳定序数是如何运作的吧。

定义：α是β稳定的（即α 是β稳定序数）

这是一个和α相关的命题，在数理逻辑意义上指的是 <math>L_{\alpha}\prec_1L_\beta</math> （即 <math>L_\alpha</math> 是 <math>L_\beta</math> 的 <math>\Sigma_1</math>初等子结构）。当然，现在我们不必在乎它在数理逻辑上有些什么意义。

“α是β稳定的”，这里的β需要是比α更大或者相等的一些序数，比如<math>\alpha+1</math> 、 <math>\alpha\times2</math>、 <math>\Omega_{\alpha+1}</math>之类的。此时， β被称作α的稳定目标。

它是对 α的一个很强的约束。比如如果我们想要对着一个α说出：“你是 α+1 稳定的！”，那它至少得是一个<math>\Pi_\omega</math> 反射序数才行。

如果我们想要把所有β稳定的序数全部召集起来，就需要用到“β稳定序数”的概念：

定义：β稳定序数

这是一个真类， 其中包含了全部是β稳定序数的 α。比如α+1 稳定序数，其中就包含了第一个 α+1 稳定序数（即 <math>\rm 1st\ real.\Pi_\omega</math>），第二个 α+1 稳定序数（即 <math>\rm 2nd\ real.\Pi_\omega</math> ）……

其用公式表示为：

<math>\lambda\alpha.(\beta)-\rm stable</math>或（在部分情况常用）：<math>\alpha\rightarrow\beta</math>.

<math>\lambda\alpha.(\alpha+1)-\rm stable</math>指的就是 α+1 稳定序数，<math>\lambda\alpha.(\alpha\times2)-\rm stable</math> 指的就是<math>\alpha\times2</math>稳定序数。

''一些习惯'' 作为一种约定俗成的习惯，我们常用<math>\lambda\alpha.(\beta)-\rm stable</math>这个式子本身来指代其中的第一个序数。比如 <math>\lambda\alpha.(\alpha+1)-\rm stable</math> 指代 <math>\rm 1st\ \lambda\alpha.(\alpha+1)-\rm stable</math> 。

有些时候，我们也会用 <math>\alpha\rightarrow\beta</math>来指代“α 是β稳定的”这个命题。

然后，我们就可以用稳定序数的表达式来写出上面扩展的一系列反射序数：

<math>\rm real.\Pi_\omega=\lambda\alpha.(\alpha+1)-\rm stable</math>、<math>\rm real.\Pi_{\omega\times2}=\lambda\alpha.(\alpha+2)-\rm stable</math>、<math>\rm real.\Pi_{\omega^2}=\lambda\alpha.(\alpha+\omega)-\rm stable</math>、<math>\rm real.\Pi_{\varepsilon_0}=\lambda\alpha.(\alpha+\varepsilon_0)-\rm stable</math>、<math>\rm real.\Pi_{\Omega}=\lambda\alpha.(\alpha+\Omega)-\rm stable</math>、<math>\rm real.\Pi_{1,0}=\lambda\alpha.(\alpha\times2)-\rm stable</math>

不过，稳定序数的“步子”好像迈得有点大了。如果我们想要表示 <math>\Pi_{\omega+1}</math>，乃至 <math>1-\Pi_{\omega+1}</math>等反射序数，需要怎么办？

为了解决这样的问题，我们引入稳定序数的“迭代计数器”：

定义：<math>\lambda\alpha.(X)-\Pi_\beta</math> 表达式

对于一个 <math>\lambda\alpha.(X)-\Pi_\beta\ (\beta<\omega)</math>表达式，α是我们正在讨论的稳定序数； X 是α的稳定目标。这个表达式总是指代一个真类。

当 <math>\beta=1</math> ，即 <math>\lambda\alpha.(X)-\Pi_1</math>时，它指代的就是<math>\lambda\alpha.(X)-\rm stable</math> 。

当<math>\beta>1</math>，设<math>\beta=\gamma+1</math>，则<math>\lambda\alpha.(X)-\Pi_{\gamma+1}=\lambda\alpha.(X)-\Pi_{\gamma}\ \rm onto^{\Omega_{\alpha+1}}</math>。

当 <math>\beta=0</math> ，即 <math>\lambda\alpha.(X)-\Pi_0</math>时，我们习惯用它来省略psd. 。

比如，<math>\lambda\alpha.(\alpha+1)-\Pi_0=\rm psd.\lambda\alpha.(\alpha+1)-\rm stable=psd.\Pi_\omega</math>。

一般来说，<math>\lambda\alpha.(X+1)-\Pi_0=\sup\{\lambda\alpha.(X)-\Pi_n\ |\ n<\omega\}</math>

这样的定义粗浅一看可能比较难懂，我们用它与扩展反射序数的分析来协助理解。

\begin{align} &\lambda\alpha.(\alpha+1)-\Pi_0=\rm psd.\Pi_\omega\\ &\rm 2nd.\lambda\alpha.(\alpha+1)-\Pi_0=\rm 2nd.psd.\Pi_\omega\\ &\Pi_1\rm\ onto\ \lambda\alpha.(\alpha+1)-\Pi_0=\Pi_1\rm\ onto\ \rm psd.\Pi_\omega\\ &\lambda\alpha.(\alpha+1)-\Pi_0\ \rm onto^2=psd.\Pi_\omega\rm\ onto^2\\ &\lambda\alpha.(\alpha+1)-\Pi_1=\rm real.\Pi_{\omega}\\ &\lambda\alpha.(\alpha+1)-\Pi_2=\rm \Pi_{\omega+1}\\ &\lambda\alpha.(\alpha+1)-\Pi_3=\rm \Pi_{\omega+2}\\ &\lambda\alpha.(\alpha+2)-\Pi_0=\rm psd.\Pi_{\omega×2}\\ &\lambda\alpha.(\alpha+2)-\Pi_1=\rm real.\Pi_{\omega×2}\\ &\lambda\alpha.(\alpha+2)-\Pi_2=\rm \Pi_{\omega×2+1}\\ &\lambda\alpha.(\alpha+2)-\Pi_3=\rm \Pi_{\omega×2+2}\\ &\lambda\alpha.(\alpha+3)-\Pi_0=\rm psd.\Pi_{\omega×3}\\ &\cdots\\ \end{align}

在上面的分析中，我们可以注意到几个细节。

首先，我们可以像 <math>\Pi_1\ \rm onto\ \Pi_\omega</math>一样，对一个稳定序数的真类做<math>\Pi_1\ \rm onto</math>操作，乃至于做 <math>\lambda\alpha.(\alpha+1)-\Pi_0\ \rm onto</math>操作。这样的操作保证了我们可以在使用稳定表达式的同时兼顾细致地分析。

其次，稳定表达式后的 <math>-\Pi_n</math>计数器可以和反射序数很好地的对应。 <math>-\Pi_n</math> 每进位一次，就对应了反射序数进位一次。

现在我们完成了定义稳定序数的基础。接下来，就可以正式进入单段稳定链的世界了。

=== <math>\Omega_{\alpha+1}</math> 稳定及以前的单段稳定链 ===
从 <math>\lambda\alpha.(\alpha+1)-\Pi_0</math>开始，稳定目标的每一次后继对应了反射序数的ω个层次：

<math>\lambda\alpha.(\alpha+n)-\Pi_1=\Pi_{\omega\times n}</math>。从 n=1 开始，我们可以不断增加 n 的大小。

<nowiki>\begin{align} &\lambda\alpha.(\alpha+1)-\Pi_1=\Pi_{\omega}\\ &\lambda\alpha.(\alpha+\omega)-\Pi_1=\Pi_{\omega^2}\\ &\lambda\alpha.(\alpha+\varepsilon_0)-\Pi_1=\Pi_{\varepsilon_0}\\ &\lambda\alpha.(\alpha+\Omega)-\Pi_1=\Pi_{\Omega}\\ &\lambda\alpha.(\alpha+I)-\Pi_1=\Pi_{I}\\ &\lambda\alpha.(\alpha+M)-\Pi_1=\Pi_{M}\\ &\lambda\alpha.(\alpha+K)-\Pi_1=\Pi_{K}\\ &\lambda\alpha.(\alpha+\lambda\alpha.(\alpha+1)-\Pi_1)-\Pi_1=\Pi_{\Pi_\omega}\\ &\lambda\alpha.(\alpha+\lambda\alpha.(\alpha+\lambda\alpha.(\alpha+1)-\Pi_1)-\Pi_1)-\Pi_1=\Pi_{\Pi_{\Pi_\omega}}\\ \end{align}</nowiki>

当我们迭代到<math>\beta\rightarrow\lambda\alpha.(\alpha+\beta)-\Pi_1</math>的不动点时，就得到了：<math>\lambda\alpha.(\alpha\times2)-\Pi_0</math>

此处的 <math>\alpha\times2</math>可以理解为：α的稳定目标是 <math>\alpha+\alpha</math>本身，就像是 <math>\varepsilon_0</math> 满足<math>\alpha=\omega^\alpha</math>一样。

但作为一个不动点，它并非真正的<math>\alpha\times2</math> 稳定序数，就像是OFP 不是I一样。想要得到真正的<math>\alpha\times2</math>稳定序数，还需要再迭代 <math>\Omega_{\alpha+1}</math>次。

<math>\lambda\alpha.(\alpha\times2)-\Pi_1=\lambda\alpha.(\alpha\times2)-\Pi_0\ \rm onto^{\Omega_{\alpha+1}}</math>

在<math>\lambda\alpha.(\alpha\times2)-\Pi_1</math>的基础上，可以继续迭代出一个不动点：

\begin{align} &\lambda\alpha.(\alpha\times2)-\Pi_1\\ &\lambda\alpha.(\alpha\times2+1)-\Pi_1\\ &\lambda\alpha.(\alpha\times2+\omega)-\Pi_1\\ &\lambda\alpha.(\alpha\times2+\Omega)-\Pi_1\\ &\lambda\alpha.(\alpha\times2+\lambda\alpha.(\alpha+1)-\Pi_1)-\Pi_1\\ &\lambda\alpha.(\alpha\times2+\lambda\alpha.(\alpha\times2)-\Pi_1)-\Pi_1\\ &\lambda\alpha.(\alpha\times2+\lambda\alpha.(\alpha\times2+\lambda\alpha.(\alpha\times2)-\Pi_1)-\Pi_1)-\Pi_1\\ \end{align}

类似地， <math>\beta\rightarrow\lambda\alpha.(\alpha\times2+\beta)-\Pi_1</math>的不动点是<math>\lambda\alpha.(\alpha\times3)-\Pi_0</math>

以此类推，还有：

\begin{align} &\beta\rightarrow\lambda\alpha.(\alpha\times3+\beta)-\Pi_1=\lambda\alpha.(\alpha\times4)-\Pi_0\\ &\beta\rightarrow\lambda\alpha.(\alpha\times4+\beta)-\Pi_1=\lambda\alpha.(\alpha\times5)-\Pi_0\\ &\beta\rightarrow\lambda\alpha.(\alpha\times\omega+\beta)-\Pi_1=\lambda\alpha.(\alpha\times(\omega+1))-\Pi_0\\ &\beta\rightarrow\lambda\alpha.(\alpha\times\beta)-\Pi_1=\lambda\alpha.(\alpha^2)-\Pi_0\\ &\beta\rightarrow\lambda\alpha.(\alpha^2\times\beta)-\Pi_1=\lambda\alpha.(\alpha^3)-\Pi_0\\ &\beta\rightarrow\lambda\alpha.(\alpha^\beta)-\Pi_1=\lambda\alpha.(\alpha^\alpha)-\Pi_0\\ \end{align}

α在此处的行为与OCF中的Ω几乎一致。

就像是Ω在OCF 中迭代<math>\psi_\Omega</math>的不动点一样，α在此处也会迭代各种<math>\lambda\alpha.()-\Pi_n</math>的不动点。

一般地，对于常见的运算~（包括加法、乘法、乘方和Veblen函数），<math>\lambda\alpha.(X\sim \alpha)-\Pi_0=\beta\rightarrow\lambda\alpha.(X\sim \beta)-\Pi_1</math>

''一些习惯'' 对于这些运算来说，我们在用文字描述可以将其中的自变量略去。比如对于<math>\lambda\alpha.(\alpha+1)-\rm stable</math> ，我们可以将其简写为 <math>(+1)-\rm stable</math>或 +1 稳定序数。

之所以强调加法、乘法、乘方和Veblen 函数，是对于这些运算，我们已然约定好它们的行为。它们有固定的运算顺序：

在<math>\lambda\alpha.(X\sim \alpha)-\Pi_0</math>中，不动点所作用的变量位置，是得到<math>X\sim \alpha</math>所取上确界对应的变量位置。

而对于其他更广泛的递归函数，它们的运算方式千奇百怪，我们也无法直接确定它们在稳定序数中是如何运作的。如果有读者对[[投影序数]]有过了解，那应该能够意识到这个问题类似于投影序数不良定义问题。

不过，下面这个序数的存在可以让我们从应用的角度做出弥补：<math>\lambda\alpha.(\Omega_{\alpha+1})-\Pi_1</math>

<math>\Omega_{\alpha+1}</math>要强过任意的α递归运算，而这个序数也自然强过任意的<math>\lambda\alpha.(f(\alpha))-\Pi_1</math>，其中α是递归函数。

对于作为应用的稳定序数来说，我们一般只关心它在[[序数坍缩函数|OCF]]中的表现。我们只需要定义好<math>\psi_{\Omega_{\alpha+1}}</math>对应的OCF ，就可以定义 <math>\lambda\alpha.(\Omega_{\alpha+1})-\Pi_1</math>在OCF中是如何折叠的。（尽管这个OCF也比较难以定义）。

考虑<math>\lambda\alpha.(\Omega_{\alpha+1})-\Pi_1</math> 的 <math>\Omega_{\alpha+1}</math>次迭代，我们得到了：

<math>\lambda\alpha.(\Omega_{\alpha+1})-\Pi_1\rm \ onto^{\Omega_{\alpha+1}}</math>即<math>\lambda\alpha.(\Omega_{\alpha+1})-\Pi_2</math>

=== 完整的一段稳定链 ===
在 <math>\lambda\alpha.(\Omega_{\alpha+1})-\Pi_2</math>的基础上，我们继续迭代 <math>\Omega_{\alpha+1}</math> 次，可以得到：

<nowiki>\begin{align} &\lambda\alpha.(\Omega_{\alpha+1})-\Pi_3=\lambda\alpha.(\Omega_{\alpha+1})-\Pi_2\rm \ onto^{\Omega_{\alpha+1}}\\ &\lambda\alpha.(\Omega_{\alpha+1})-\Pi_4=\lambda\alpha.(\Omega_{\alpha+1})-\Pi_3\rm \ onto^{\Omega_{\alpha+1}}\\ &\lambda\alpha.(\Omega_{\alpha+1}+1)-\Pi_0=\sup\{ \lambda\alpha.(\Omega_{\alpha+1})-\Pi_n\ |\ n<\omega\}\\ &\lambda\alpha.(\Omega_{\alpha+1}+1)-\Pi_1=\lambda\alpha.(\Omega_{\alpha+1}+1)-\Pi_0\rm \ onto^{\Omega_{\alpha+2}}\\ &\lambda\alpha.(\Omega_{\alpha+1}+\omega)-\Pi_1\\ &\lambda\alpha.(\Omega_{\alpha+1}+\alpha)-\Pi_1\\ &\lambda\alpha.(\Omega_{\alpha+1}\times2)-\Pi_1\\ &\lambda\alpha.(\Omega_{\alpha+1}^2)-\Pi_1\\ &\lambda\alpha.(\Omega_{\alpha+1}^\alpha)-\Pi_1\\ &\lambda\alpha.(\Omega_{\alpha+1}^{\Omega_{\alpha+1}})-\Pi_1\\ \end{align}</nowiki>

然后我们可以继续将α稳定到<math>\Omega_{\alpha+2}</math>……

这样的行为可以一直持续下去，一直稳定到α后的各种反射序数。

<nowiki>\begin{align} &\lambda\alpha.(\Omega_{\alpha+\omega})-\Pi_0\\ &\lambda\alpha.(\Omega_{\alpha\times2})-\Pi_0\\ &\lambda\alpha.(\Omega_{\alpha^2})-\Pi_0\\ &\lambda\alpha.(\Omega_{\alpha^\alpha})-\Pi_0\\ &\lambda\alpha.(\Omega_{\varepsilon_{\alpha+1}})-\Pi_0\\ &\lambda\alpha.(\Omega_{\Omega_{\alpha+1}})-\Pi_1\\ &\lambda\alpha.(\Omega_{\Omega_{\Omega_{\alpha+1}}})-\Pi_1\\ &\lambda\alpha.(\Phi(1,\alpha+1))-\Pi_1\\ &\lambda\alpha.(I_{\alpha+1})-\Pi_1\\ &\lambda\alpha.(M_{\alpha+1})-\Pi_1\\ &\lambda\alpha.(K_{\alpha+1})-\Pi_1\\ &\cdots \end{align}</nowiki>

''一些习惯'' 对于那些稳定目标 X 不是容许序数的稳定序数来说，比如 <math>\lambda\alpha.(\Omega_{\alpha+\omega})-\rm stable</math> ，我们可以通过取上确界的方式来定义一个 <math>\rm psd. \lambda\alpha.(\Omega_{\alpha+\omega})-\rm stable</math> ；

但如果稳定目标 X 是容许序数，比如 <math>\lambda\alpha.(\Omega_{\alpha+1})-\rm stable</math>，我们一般没有比较良好的<math>\rm psd.\lambda\alpha.(\Omega_{\alpha+1})-\rm stable</math>定义。故会有 <math>\lambda\alpha.(\Omega_{\alpha+\omega})-\Pi_0</math>的存在，但没有<math>\lambda\alpha.(\Omega_{\alpha+1})-\Pi_0</math>的存在。

这些序数在OCF 中也会经历相当复杂的折叠。以<math>\lambda\alpha.(M_{\alpha+1})-\Pi_1</math>为例，它需要先利用<math>\psi_{M_{\alpha+1}}</math>函数折叠出 <math>\lambda\alpha.(I(\beta,\gamma,\delta,\cdots,\alpha+1))-\Pi_1</math>之类的稳定序数，然后这些稳定序数再经过多次折叠得到更细节化的运算。

当然，和<math>\psi_M</math>函数一样，它们并没有一个公认的折叠方式，而一切由你。你可以选择最适合自己的折叠法。

在将稳定目标升级为α后的各种反射序数后，稳定序数α的强度也不断升级。而如果我们需要在反射序数之后再进一步，就需要用到两段稳定链了。

=== 多段稳定链 ===
从现在开始，除了使用下标表示“第 n 个”（比如 <math>\Omega_n</math> ），我们还会选择使用在表达式右端添加 [n] 的方式来从“第 0 个”开始表示。比如 <math>\lambda\alpha.(\alpha+1)-\Pi_1[0]</math> ，指的就是 <math>\rm 1st\ \lambda\alpha(\alpha+1)-\Pi_1</math> 这个序数。

假设稳定目标是α后的第一个<math>\rm real.\Pi_\omega</math>反射序数，即<math>\rm real.\Pi_\omega[\alpha+1]</math>，那么它同时也是α后的第一个 +1 稳定序数。此时的稳定链可以表示成这样：

<math>\alpha\rightarrow\beta\rightarrow\beta+1</math>，即α稳定到β，而 β稳定到β+1 。稳定链的段数变为 2 。

对于这样的多段稳定链，我们用公式表示如下：

<math>\alpha\rightarrow\beta\rightarrow X=\lambda\alpha.(\lambda\beta.(X)-\rm stable)-stable</math>

而上面提到的那个稳定序数就是<math>\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1)-\Pi_1</math>

此处再次涉及到稳定序数的定义问题。多段稳定链有许多定义方式，如果使用序数式的定义方式，那么根据稳定序数的其中一个数理逻辑性质（传递性），会导致下列以及类似的问题：

<math>\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1)-\Pi_1=\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1+1)-\Pi_1</math>

这样的性质对于稳定序数的使用者来说是不友好的。而通过另一种定义方式（函数式），我们可以规避这样的问题。但函数式定义具有可扩展性差的缺点。

本条目采用类似于函数式的定义方式，即认为 ：<math>\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1+1)-\Pi_0=\sup\{\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1)-\Pi_n\ |\ n<\omega\}</math>

于是我们可以继续得到更大的稳定序数。

\begin{align} &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1+2)-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1+\omega)-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1+\alpha)-\Pi_0=\beta\rightarrow\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1+\beta)-\Pi_1\\ &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1+\Omega_{\alpha+1})-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1+I_{\alpha+1})-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1+M_{\alpha+1})-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1+K_{\alpha+1})-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1\times2)-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1\times3)-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1\times\omega)-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1\times\alpha)-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1\times\Omega_{\alpha+1})-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1\times K_{\alpha+1})-\Pi_0\\ &\lambda\alpha.((\lambda\beta.(\beta+1)-\Pi_1)^2)-\Pi_0\\ &\lambda\alpha.((\lambda\beta.(\beta+1)-\Pi_1)^\omega)-\Pi_0\\ &\lambda\alpha.(\varepsilon_{\lambda\beta.(\beta+1)-\Pi_1+1})-\Pi_0\\ &\lambda\alpha.(\Omega_{\lambda\beta.(\beta+1)-\Pi_1+1})-\Pi_1\\ &\lambda\alpha.(K_{\lambda\beta.(\beta+1)-\Pi_1+1})-\Pi_1\\ &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1[\alpha+2])-\Pi_1\\ \end{align}

当其内层后缀为<math>-\Pi_1</math> 时，其为 +1 稳定序数而必为容许序数，故不存在对应良好的psd. ，所以不会出现内层为<math>-\Pi_1</math>而外层为<math>-\Pi_0</math>的情况。但如果其经过一些递归运算，如<math>\lambda\beta.(\beta+1)-\Pi_1+1</math>，此时内层为非容许序数，外层可以是<math>-\Pi_0</math>。

在内层出现α的地方，如<math>\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1+\alpha)-\Pi_0</math>，是<math>\gamma\rightarrow\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1+\gamma)-\Pi_1</math>的不动点。

这类似于<math>\psi(\Omega_2+\psi_1(\Omega_2+\Omega))=\psi(\Omega_2+\psi_1(\Omega_2+\psi(\Omega_2+\psi_1(\Omega_2+(\cdots)))))</math>。

然后我们可以对内层的<math>\lambda\beta.(\beta+1)-\Pi_1</math>稳定式进行迭代。

\begin{align} &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1[\alpha+2])-\Pi_1\\ &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1[\alpha+3])-\Pi_1\\ &\lambda\alpha.(\Pi_1\rm\ onto\ \lambda\beta.(\beta+1)-\Pi_1)-\Pi_0\\ &\lambda\alpha.(\Pi_2\ \cap\ \Pi_1\rm\ onto\ \lambda\beta.(\beta+1)-\Pi_1)-\Pi_1\\ &\lambda\alpha.(\Pi_\omega\ \cap\ \Pi_1\rm\ onto\ \lambda\beta.(\beta+1)-\Pi_1)-\Pi_1\\ &\lambda\alpha.(\Pi_2\rm\ onto\ \lambda\beta.(\beta+1)-\Pi_1)-\Pi_1\\ &\lambda\alpha.(\Pi_3\rm\ onto\ \lambda\beta.(\beta+1)-\Pi_1)-\Pi_1\\ &\lambda\alpha.(\rm psd.\Pi_\omega\rm\ onto\ \lambda\beta.(\beta+1)-\Pi_1)-\Pi_1\\ &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1\ \rm onto^2)-\Pi_1\\ &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1\ \rm onto^\omega)-\Pi_1\\ &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1\ \rm onto^\alpha)-\Pi_1\\ \end{align} 

此处我们要注意内层迭代次数的细节。对于内层的<math>\lambda\beta.(\beta+1)-\Pi_1</math>来说，它需要'''迭代<math>\Omega_{\beta+1}</math> 次'''才能进位：

<nowiki>\begin{align} &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1\ \rm onto^{\Omega_{\alpha+1}})-\Pi_1\\ &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1\ \rm onto^{K_{\alpha+1}})-\Pi_1\\ &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1\ \rm onto^{\lambda\beta_2.(\beta_2+1)-\Pi_1})-\Pi_1\\ &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1\ \rm onto^{\lambda\beta_2.(\beta_2+1)-\Pi_1\rm onto^{\alpha}})-\Pi_1\\ &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1\ \rm onto^\beta)-\Pi_1\\ \end{align}</nowiki>

然后得到：

<math>\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_1\ \rm onto^{\Omega_{\beta+1}})-\Pi_1=\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_2\rm )-\Pi_1</math>

此后就是和单段稳定链十分相似的一些迭代了。

\begin{align} &\lambda\alpha.(\lambda\beta.(\beta+1)-\Pi_3)-\Pi_1\\ &\lambda\alpha.(\lambda\beta.(\beta+2)-\Pi_0)-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(\beta+2)-\Pi_1)-\Pi_1\\ &\lambda\alpha.(\lambda\beta.(\beta+\omega)-\Pi_0)-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(\beta+\alpha)-\Pi_0)-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(\beta+\Omega_{\alpha+1})-\Pi_0)-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(\beta+K_{\alpha+1})-\Pi_0)-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(\beta+\lambda\beta.(\beta+1)-\Pi_1)-\Pi_0)-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(\beta\times2)-\Pi_0)-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(\beta\times\omega)-\Pi_0)-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(\beta^2)-\Pi_0)-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(\beta^\beta)-\Pi_0)-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(\varepsilon_{\beta+1})-\Pi_0)-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(\Omega_{\beta+1})-\Pi_1)-\Pi_1\\ &\lambda\alpha.(\lambda\beta.(\Omega_{\beta+\omega})-\Pi_0)-\Pi_0\\ &\lambda\alpha.(\lambda\beta.(I_{\beta+1})-\Pi_1)-\Pi_1\\ &\lambda\alpha.(\lambda\beta.(M_{\beta+1})-\Pi_1)-\Pi_1\\ &\lambda\alpha.(\lambda\beta.(K_{\beta+1})-\Pi_1)-\Pi_1\\ &\cdots \end{align} 

当<math>\lambda\beta</math>的层级中，稳定目标也到了“ β的下一个稳定序数”，稳定链长度就再次被延伸。

<math>\alpha\rightarrow\beta\rightarrow\gamma\rightarrow\gamma+1=\lambda\alpha.(\lambda\beta.(\lambda\gamma.(\gamma+1)-\Pi_1)-\Pi_1)-\Pi_1</math>，此时稳定链的长度为 3 。

<math>\alpha\rightarrow\beta\rightarrow\gamma\rightarrow\delta\rightarrow\delta+1=\lambda\alpha.(\lambda\beta.(\lambda\gamma.(\lambda\delta.(\delta+1)-\Pi_1)-\Pi_1)-\Pi_1)-\Pi_1</math>，此时稳定链的长度为 4 。

定义： <math>n-\rm ply-stable</math>

我们用 <math>n-\rm ply-\beta-stable</math> 或 <math>n-\pi-\beta-\Pi_m</math>来表示n 段长度，顶端为β的稳定链。

比如<math>\alpha\rightarrow\beta\rightarrow\gamma\rightarrow\gamma+1</math>可以记作<math>3-\rm ply-(+1)-\rm stable=3-ply-(+1)-\Pi_1</math>

当我们使用<math>n-\pi-\beta-\Pi_m</math>时，右侧的<math>-\Pi_m</math>计数最内层稳定的迭代。比如：<math>3-\pi-(+1)-\Pi_2=\lambda\alpha.(\lambda\beta.(\lambda\gamma.(\gamma+1)-\Pi_2)-\Pi_1)-\Pi_1</math>

如果是 <math>-\Pi_0</math> ，则意为全部计数器都为<math>-\Pi_0</math> ；否则除顶端外的计数器默认为<math>-\Pi_1</math> 。如：<math>3-\pi-(+1)-\Pi_0=\lambda\alpha.(\lambda\beta.(\lambda\gamma.(\gamma+1)-\Pi_0)-\Pi_0)-\Pi_0</math>

接下来，稳定链的长度不断延伸。

取所有<math>n-\rm ply-stable</math>的上确界，我们便得到了：<math>\omega-\pi-\Pi_0</math>。这也是有限长度<math>\Sigma_1</math>稳定的终点。
[[分类:记号]]