稳定序数:修订间差异
来自Googology Wiki
更多操作
无编辑摘要 |
无编辑摘要 |
||
第1行: | 第1行: | ||
<math>L_{\alpha}</math> | <math>L_{\alpha}</math>是<math>L_{\beta}</math>的<math>\Sigma_{n}</math>初等子结构,如果任取<math>\Sigma_{n}</math>公式\varphi均有单射j满足L<sub>α</sub>|=φ(x1,x2,…)等价于L<sub>β</sub>|=φ(j(x1),j(x2),…),也称其为L<sub>α</sub>稳定到L<sub>β</sub> |
2025年7月3日 (四) 21:16的版本
是的初等子结构,如果任取公式\varphi均有单射j满足Lα|=φ(x1,x2,…)等价于Lβ|=φ(j(x1),j(x2),…),也称其为Lα稳定到Lβ