查看“︁LCO”︁的源代码

[[文件:Image 1752201913143.jpg|缩略图|图片仅供参考]]
'''LCO（Large Cantor's Ordinal）'''是一个[[序数]]。
{| class="wikitable"
!记号
!表达式
|-
|常用表示
|<math>\eta_0</math>
|-
|[[Veblen 函数]]
|<math>\varphi(3,0)</math>
|-
|[[OCF#BOCF|BOCF]]
|<math>\psi(\Omega^3)/\psi(\psi_1(\psi_1(0)\times2))</math>
|-
|[[OCF#MOCF|MOCF]]
|<math>\psi(\Omega^2)</math>
|-
|[[BMS]]
|<math>\begin{pmatrix} 0 & 1 & 2 & 2 \\ 0 & 1 & 1 & 1 \end{pmatrix}=(0,0)(1,1)(2,1)(2,1)</math>
|-
|[[长初等序列|LPrSS]]
|<math>1,5</math>
|-
|[[HPrSS]]
|<math>1,3,5,7</math>
|-
|[[0-Y]]
|<math>1,3,5,7</math>
|-
|[[Y序列|1-Y]]
|<math>1,2,4,4,4</math>
|-
|[[PSS Hydra]]
|<math>\psi^H_1(\psi^H_2(\psi^H_2(0)+\psi^H_2(0)))</math>
|-
|[[weak Veblen 函数]]
|<math>\varphi(1,0,0,0,0)</math>
|-
|[[BHM]]
|<math>\begin{pmatrix} 0 & 1 & 2 & 1 & 2 & 1 & 2 \end{pmatrix}</math>
|-
|[[BSM]]
|<math>\begin{pmatrix} 0 & 1 & 1 & 2 & 1 & 2 & 1 & 2 \end{pmatrix}</math>
|-
|[[NOCF]]
|<math>\psi(\Omega_{\omega^3})/\psi(\Omega_{\psi(\psi_1(\psi_1(\psi_1(0))))})</math>
|-
|[[Dropping#M 记号|M 记号]]
|<math>\psi(\psi(M+\psi(M)\times2))</math>
|}

=== 性质 ===
[[证明论序数]]：<math>{\rm ACA_0}+\forall X\exists Y({\rm TJ}(\varepsilon_0,X,Y))</math>

极限在此处的记号：ζ 函数
[[分类:序数]]