SRO

SRO（Small Rathjen's Ordinal），是一个重要的序数。

序数记号	表达式
BOCF	$\psi ({\mathrm{\Omega }}_{M+1})$
反射序数	$\psi (2\text{aft}2-2)$
BMS	$(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2)$
0-Y	$1,4,7,10,9,12$
1-Y	$1,2,4,8,12,16,15,19$
ex-hydra	$p1(p3(p3(p3+p2(p3))))$
M 记号	$p(p(M^M+M))$
投影	$\psi ({\psi }_{\alpha }({\mathrm{\Omega }}_{\alpha +1}^{{\epsilon }_{\alpha +1}}))$
Catching 函数	$C({\mathrm{\Omega }}^{{\epsilon }_0})$

性质

证明论序数：$\mathrm{K}\mathrm{P}\mathrm{M}$

极限在此处的记号：62XXY's Milk φ