打开/关闭菜单
打开/关闭外观设置菜单
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。

稳定序数:修订间差异

来自Googology Wiki
大数爱好者留言 | 贡献
无编辑摘要
大数爱好者留言 | 贡献
无编辑摘要
第1行: 第1行:
<math>L_{\alpha}</math>是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>
<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的版本

LαLβΣn初等子结构,如果任取Σn公式\varphi均有单射j满足Lα|=φ(x1,x2,…)等价于Lβ|=φ(j(x1),j(x2),…),也称其为Lα稳定到Lβ