稳定序数

$L_{\alpha }$是$L_{\beta }$的${\mathrm{\Sigma }}_n$初等子结构，如果任取${\mathrm{\Sigma }}_n$公式$\phi$均有单射j满足$L_{\alpha }$|=$\phi$($x_1$,$x_2$,…)等价于$L_{\beta }$|=$\phi$(j($x_1$),j($x_2$),…)，也称其为$L_{\alpha }$稳定到$L_{\beta }$

在BM4良序性证明中，我们构造了一个保序映射f:Ord$\to$BMS