稳定序数：修订间差异
来自Googology Wiki
更多操作
无编辑摘要 |
无编辑摘要 |
||
| 第1行： | 第1行： | ||
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>的∑<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> | ||
2025年7月3日 (四) 20:39的版本
Lα是Lβ的∑n初等子结构，如果任取∑n公式φ均有单射j满足Lα|=φ(x1,x2,…)等价于Lβ|=φ(j(x1),j(x2),…)，也称其为Lα稳定到Lβ