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