稳定序数：修订间差异

2025年7月3日 (四) 21:30的版本

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

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

2025年7月3日 (四) 21:21的版本查看源代码大数爱好者（留言 \| 贡献） 25次编辑无编辑摘要标签：可视化编辑 ←上一编辑		2025年7月3日 (四) 21:30的版本查看源代码大数爱好者（留言 \| 贡献） 25次编辑无编辑摘要标签：可视化编辑下一编辑→
第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>L_{\beta}</math>		<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良序性证明中，我们构造了一个保序映射f:Ord<math>\rightarrow</math>BMS