LVO

LVO (Large Veblen Ordinal, 大维布伦序数)，是序数元Veblen函数的极限。

LVO

记号	表达式
Veblen函数	\(\varphi(1@(1,0))=\min \alpha\mapsto\varphi(1@\alpha)\;\text{Fixed Point}\)
BOCF/MOCF	$\psi ({\mathrm{\Omega }}^{{\mathrm{\Omega }}^{\mathrm{\Omega }}})$
BMS	$\left(\begin{array}{ccccc}0& 1& 2& 3& 4\\ 0& 1& 1& 1& 1\end{array}\right)=(0,0)(1,1)(2,1)(3,1)(4,1)$
HPrSS	$1,3,5,7,9$
0-Y	$1,3,5,7,9$
Y序列	$1,2,4,6,8,10$
PSS Hydra	${\psi }_1^H({\psi }_2^H({\psi }_2^H({\psi }_2^H({\psi }_2^H(0)))))$
weak veblen函数	\(\varphi(1\text{@}(1\text{@}(1,0)))\)
BSM	$\left(\begin{array}{ccccccccccc}0& 1& 2& 0& 1& 1& 1& 1& 0& 1& 2\end{array}\right)$
M记号	$\psi (\psi (M+\psi (M+\psi (M+\psi (M)))))$

极限在此处的记号

记号

序数元Veblen函数

带&的BEAF