LCO

图片仅供参考

LCO（Large Cantor's Ordinal）是一个序数。

记号	表达式
康托范式	${\eta }_0$
Veblen 函数	$\phi (3,0)$
BOCF	$\psi ({\mathrm{\Omega }}^3)/\psi ({\psi }_1({\psi }_1(0)\times 2))$
MOCF	$\psi ({\mathrm{\Omega }}^2)$
BMS	$\left(\begin{array}{cccc}0& 1& 2& 2\\ 0& 1& 1& 1\end{array}\right)=(0,0)(1,1)(2,1)(2,1)$
LPrSS	$1,5$
HPrSS / 0-Y	$1,3,5,5$
1-Y / ω-Y	$1,2,4,6,6$
PSS Hydra	${\psi }_1^H({\psi }_2^H({\psi }_2^H(0)+{\psi }_2^H(0)))$
weak Veblen 函数	$\phi (1,0,0,0,0)$
BHM	$\left(\begin{array}{ccccccc}0& 1& 2& 1& 2& 1& 2\end{array}\right)$
BSM	$\left(\begin{array}{cccccccc}0& 1& 1& 2& 1& 2& 1& 2\end{array}\right)$
NOCF	$\psi ({\mathrm{\Omega }}_{{\omega }^3})/\psi ({\mathrm{\Omega }}_{\psi ({\psi }_1({\psi }_1({\psi }_1(0))))})$
M 记号	$\psi (\psi (M+\psi (M)\times 2))$
FOS	$0,1,\omega ,\omega 2,\omega 2$

性质

证明论序数：$\mathrm{A}\mathrm{C}{\mathrm{A}}_{\mathrm{0}}+\mathrm{\forall }X\mathrm{\exists }Y(\mathrm{T}\mathrm{J}({\epsilon }_0,X,Y))$

极限在此处的记号：ζ 函数