LAO

LAO(LAO，Linar Array Ordinal，线性数阵序数)，因在googology一度经典的线性数阵的极限是它而得名

LAO

记号	表达式
序数	${\omega }^{\omega }$
veblen函数	$\phi (\phi (1))$
BOCF	$\psi (\psi (0))$
PrSS	$0,1,2$
BMS	$\left(\begin{array}{ccc}0& 1& 2\end{array}\right)$
LPrSS	$1,2,3$
HPrSS	$1,2,3$
0-Y	$1,2,3$
Y序列	$1,2,3$
PSS Hydra	${\psi }_1^H({\psi }_1^H(1))$
weak veblen函数	$\phi (\omega ,0)$
BHM	$\left(\begin{array}{ccc}0& 1& 1\end{array}\right)$
BSM	$\left(\begin{array}{ccc}0& 1& 1\end{array}\right)$
NOCF	$\psi ({\mathrm{\Omega }}_2)$
M记号	$\psi (\psi (1))$

性质

LAO是算术论体系$RC{A}_0$、$WK{L}_0$、$PRA$、$RC{A}_0^2$,集合论体系$CPRC$、$K{P}^{-}+{\mathrm{\Pi }}_1^{set}-Foundation+IND$的证明论序数

极限在此处的记号

记号

线性数阵