稳定序数：修订间差异

2025年7月3日 (四) 20:47的版本

L_α是L_β的∑_n初等子结构，如果任取∑_n公式φ均有单射j满足L_α|=φ(x1,x2,…)等价于L_β|=φ(j(x1),j(x2),…)，也称其为L_α稳定到L_β

2025年7月3日 (四) 20:47的版本查看源代码大数爱好者（留言 \| 贡献） 25次编辑无编辑摘要标签：可视化编辑 ←上一编辑		2025年7月3日 (四) 20:47的版本查看源代码大数爱好者（留言 \| 贡献） 25次编辑无编辑摘要标签：手工回退可视化编辑下一编辑→
第1行：		第1行：
	~~L_{\alpha}~~是L<sub>β</sub>的∑<sub>n</sub>初等子结构，如果任取∑<sub>n</sub>公式φ均有单射j满足L<sub>α</sub>\|=φ(x1,x2,…)等价于L<sub>β</sub>\|=φ(j(x1),j(x2),…)，也称其为L<sub>α</sub>稳定到L<sub>β</sub>		L<sub>α</sub>是L<sub>β</sub>的∑<sub>n</sub>初等子结构，如果任取∑<sub>n</sub>公式φ均有单射j满足L<sub>α</sub>\|=φ(x1,x2,…)等价于L<sub>β</sub>\|=φ(j(x1),j(x2),…)，也称其为L<sub>α</sub>稳定到L<sub>β</sub>