稳定序数：修订间差异

2025年7月3日 (四) 22:17的版本

$L_{α}$ 是 $L_{β}$ 的 $Σ_{n}$ 初等子结构，如果任取 $Σ_{n}$ 公式 $φ$ 均有单射j满足 $L_{α}$ |= $φ$ ( $x_{1}$ , $x_{2}$ ,…)等价于 $L_{β}$ |= $φ$ (j( $x_{1}$ ),j( $x_{2}$ ),…)，也称其为 $L_{α}$ $Σ_{n}$ 稳定到 $L_{β}$

除此外，我们还有 $L_{α}$ 是 $L_{β}$ - $Π_{n}$ 反射用于表达一些精细的层级
函数式定义:
$L_{α}$ 是 $L_{f (α)}$ - $Π_{n}$ 反射，如果 $L_{α} Σ_{1}$ 稳定到 $L_{f (α)}$ 且任取 $Σ_{n}$ 公式 $φ$

@@ 第1行： / 第1行： @@
 <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>\alpha</math>是<math>\beta</math>-<math>\Pi_{n}</math>反射用于表达一些精细的层级<br>
+除此外，我们还有<math>L_{\alpha}</math>是<math>L_{\beta}</math>-<math>\Pi_{n}</math>反射用于表达一些精细的层级<br>
 函数式定义:<br>
-<math>L_{\alpha}</math>是<math>L_{f(\alpha)}</math>-<math>\Pi_{n}</math>反射，如果
+<math>L_{\alpha}</math>是<math>L_{f(\alpha)}</math>-<math>\Pi_{n}</math>反射，如果<math>L_{\alpha} \Sigma_{1}</math>稳定到<math>L_{f(\alpha)}</math>且任取<math>\Sigma_{n}</math>公式<math>\varphi</math>