CO：修订间差异
来自Googology Wiki
更多操作
小无编辑摘要 |
小无编辑摘要 |
||
| 第1行： | 第1行： | ||
'''CO（Cantor Ordinal）''' | |||
[[文件:Ζ.jpg|缩略图|图片仅供参考]] | [[文件:Ζ.jpg|缩略图|图片仅供参考]] | ||
{| class="wikitable" | {| class="wikitable" | ||
! | ![[序数记号]] | ||
!表达式 | !表达式 | ||
|- | |- | ||
| | |常用表示 | ||
|<math>\zeta_0</math> | |<math>\zeta_0</math> | ||
|- | |- | ||
|[[veblen函数]] | |[[veblen函数|Veblen 函数]] | ||
|<math>\varphi(2,0)</math> | |<math>\varphi(2,0)</math> | ||
|- | |- | ||
| 第29行： | 第29行： | ||
|<math>1,3,5</math> | |<math>1,3,5</math> | ||
|- | |- | ||
|[[Y序列]] | |[[Y序列|1-Y]] | ||
|<math>1,2,4,4</math> | |<math>1,2,4,4</math> | ||
|- | |- | ||
| 第35行： | 第35行： | ||
|<math>\psi^H_1(\psi^H_2(\psi^H_2(0)))</math> | |<math>\psi^H_1(\psi^H_2(\psi^H_2(0)))</math> | ||
|- | |- | ||
|[[weak veblen函数]] | |[[weak veblen函数|weak Veblen 函数]] | ||
|<math>\varphi(1,0,0,0)</math> | |<math>\varphi(1,0,0,0)</math> | ||
|- | |- | ||
| 第47行： | 第47行： | ||
|<math>\psi(\Omega_{\omega^2})/\psi(\Omega_{\psi(\psi_1(\psi_1(0)))})</math> | |<math>\psi(\Omega_{\omega^2})/\psi(\Omega_{\psi(\psi_1(\psi_1(0)))})</math> | ||
|- | |- | ||
|[[ | |[[Dropping Hydra#M 记号|M 记号]] | ||
|<math>\psi(\psi(M+\psi(M)))</math> | |<math>\psi(\psi(M+\psi(M)))</math> | ||
|} | |} | ||
== 性质 == | == 性质 == | ||
[[证明论序数]]：<math>{\rm ACA_0}+\forall X\exists Y({\rm TJ}(\omega,X,Y))</math>，<math>\rm ACA_0+(BR)</math>，<math>\rm p_1(ACA_0)</math> | |||
极限在此处的记号：ε 函数，扩展多维数阵 | |||
[[分类:序数]] | [[分类:序数]] | ||
