SCO

（图片仅供参考）

SCO(Small Cantor's Ordinal，小康托尔序数)，是一个重要的序数。它被认为是具有“里程碑”意义的一个序数

SCO

记号	表达式
veblen函数	$\phi (1,0)/{\epsilon }_0$
BOCF	$\psi (\mathrm{\Omega })/\psi ({\psi }_1(0))$
MOCF	$\psi (0)$
BMS	$\left(\begin{array}{cc}0& 1\\ 0& 1\end{array}\right)$
LPrSS	$1,3$
HPrSS	$1,3$
0-Y	$1,3$
Y序列	$1,2,4$
PSS Hydra	$p_1(p_2)$
weak veblen函数	$\phi (1,0,0)$
BHM	$\left(\begin{array}{ccc}0& 1& 2\end{array}\right)$
BSM	$\left(\begin{array}{cccc}0& 1& 1& 2\end{array}\right)$
NOCF	$\psi ({\mathrm{\Omega }}_{\omega })/\psi ({\mathrm{\Omega }}_{\psi (\mathrm{\Omega })})$

性质

SCO是皮亚诺公理体系的证明论序数。