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

<math>L_{\alpha}</math>是<math>L_{\beta}</math>的<math>\Sigma_{n}</math>初等子结构，如果任取<math>\Sigma_{n}</math>公式<math>\varphi</math>均有单射j满足<math>L_{\alpha}</math>|=<math>\varphi</math>(<math>x_{1}</math>,<math>x_{2}</math>,…)等价于<math>L_{\beta}</math>|=<math>\varphi</math>(j(<math>x_{1}</math>),j(<math>x_{2}</math>),…)，也称其为<math>L_{\alpha}</math>稳定到<math>L_{\beta}</math>

在BM4良序性证明中，作者构造了一个保序映射<math>f:Ord\rightarrow BMS</math>
由于BM4的输出必是一个递归序数，所以这实际构建了一个稳定序数到递归序数的对应，但在只考虑BM4标准形的情况下，这无法管理向上反射的结构
基于此，本篇文章将使用涵盖不标准BM4的映射<math>f:Ord\rightarrow BMS</math>来辅助读者对稳定序数的理解，请注意，它的保序性尚未明确。