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