LVO：修订间差异

2025年7月8日 (二) 14:53的版本

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

LVO
记号	表达式
Veblen函数	$\varphi(1@(1,0))=\min \alpha\mapsto\varphi(1@\alpha)\;\text{Fixed Point}$
BOCF/MOCF	$ψ (Ω^{Ω^{Ω}})$
BMS	$(\begin{matrix} 0 & 1 & 2 & 3 & 4 \\ 0 & 1 & 1 & 1 & 1 \end{matrix}) = (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	$ψ_{1}^{H} (ψ_{2}^{H} (ψ_{2}^{H} (ψ_{2}^{H} (ψ_{2}^{H} (0)))))$
BSM	$(\begin{matrix} 0 & 1 & 2 & 0 & 1 & 1 & 1 & 1 & 0 & 1 & 2 \end{matrix})$
M记号	$ψ (ψ (M + ψ (M + ψ (M + ψ (M)))))$

@@ 第6行： / 第6行： @@
 |-
 |[[Veblen函数]]
-|\(\varphi(1@(1,0))=\min \alpha\mapsto\varphi(1@\alpha) Fixed Point\)
+|\(\varphi(1@(1,0))=\min \alpha\mapsto\varphi(1@\alpha)\;\text{Fixed Point}\)
 |-
 |[[序数坍缩函数#BOCF|BOCF]]/[[序数坍缩函数#MOCF|MOCF]]

记号	表达式
Veblen函数	\(\varphi(1@(1,0))=\min \alpha\mapsto\varphi(1@\alpha)\;\text{Fixed Point}\)
BOCF/MOCF	$ψ (Ω^{Ω^{Ω}})$
BMS	$(\begin{matrix} 0 & 1 & 2 & 3 & 4 \\ 0 & 1 & 1 & 1 & 1 \end{matrix}) = (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	$ψ_{1}^{H} (ψ_{2}^{H} (ψ_{2}^{H} (ψ_{2}^{H} (ψ_{2}^{H} (0)))))$
BSM	$(\begin{matrix} 0 & 1 & 2 & 0 & 1 & 1 & 1 & 1 & 0 & 1 & 2 \end{matrix})$
M记号	$ψ (ψ (M + ψ (M + ψ (M + ψ (M)))))$