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

<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>\Sigma_{n}</math>稳定到 <math>L_{\beta}</math><br>

除此外，我们还有<math>L_{\alpha}</math>是<math>L_{\beta}</math>-<math>\Pi_{n}</math>反射用于表达一些精细的层级，其中<math>L_{\alpha}</math><math>\Sigma_{1}</math>稳定到<math>L_{\beta}</math><br>
函数式定义:<br>
<math>L_{\alpha}</math>是<math>L_{f(\alpha)}</math>-<math>\Pi_{n}</math>反射 onto X，如果任取<math>\Pi_{n}</math>公式<math>\varphi</math>及参数<math>\gamma\in L_{\alpha}</math>和<math>\gamma'\in L_{\alpha'}</math>
有<math>L_{f(\alpha)}|=\varphi(\alpha,\gamma)\rightarrow L_{f(\alpha')}|=\varphi(\alpha',\gamma')</math>,对于<math>\alpha'\in\alpha\bigcap X</math><br>

序数式定义:<br>
<math>L_{alpha}</math>是<math>L_{beta}</math>-<math>\Pi_{n}</math>反射 onto X，如果任取<math>\Pi_{n}</math>公式，参数<math>\gamma\in\alpha</math>和<math>\gamma'\in\alpha'</math>有
<math>L_{\beta}|=\varphi(\alpha,\gamma)</math><math>\rightarrow</math><math>L_{\beta'}</math>