稳定序数：修订间差异

2025年7月3日 (四) 23:45的版本

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

除此外，我们还有 $L_{α}$ 是 $L_{β}$ - $Π_{n}$ 反射用于表达一些精细的层级，其中 $L_{α}$ $Σ_{1}$ 稳定到 $L_{β}$
函数式定义:
$L_{α}$ 是 $L_{f (α)}$ - $Π_{n}$ 反射 onto X，如果任取 $Π_{n}$ 公式 $φ$ 及参数 $γ \in L_{α}$ 和 $γ^{'} \in L_{α^{'}}$ 有 $L_{f (α)} | = φ (α, γ) \to L_{f (α^{'})} | = φ (α^{'}, γ^{'})$ ,对于 $α^{'} \in α ⋂ X$

序数式定义:
$L_{a l p h a}$ 是 $L_{b e t a}$ - $Π_{n}$ 反射 onto X，如果任取 $Π_{n}$ 公式，参数 $γ \in α$ 和 $γ^{'} \in α^{'}$ 有 $L_{β} | = φ (α, γ)$ $\to$ $L_{β^{'}}$

@@ 第4行： / 第4行： @@
 函数式定义:<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>