JO

JO（Jäger's Ordinal，雅格序数），是一个重要的序数。

JO

记号	表达式
BOCF	$\psi ({\mathrm{\Omega }}_{I+1})$
BMS	$\left(\begin{array}{ccccc}0& 1& 2& 3& 4\\ 0& 1& 1& 1& 2\\ 0& 1& 1& 0& 0\end{array}\right)$
0-Y	$1,4,7,9,12$
Y序列	$1,2,4,8,12,15,19$
ex-hydra	$p1(p3(p3(p2(p3))))$
M记号	$p(p(M^2+M))$
投影	$\psi ({\psi }_{\alpha }({\mathrm{\Omega }}_{\alpha +1}\times {\epsilon }_{\alpha +1}))$

性质

JO 是 $\mathrm{K}\mathrm{P}\mathrm{i}$ 的证明论序数。