查看“︁SVO”︁的源代码

SVO（Small Veblen's Ordinal），是[[Veblen函数#有限元_Veblen_函数|有限元 Veblen 函数]]的极限。
{| class="wikitable"
|+SCO
!记号
!表达式
|-
|[[veblen函数]]
| \(\varphi(1\text{@}\omega)\)
|-
|[[OCF|BOCF或MOCF]]
|<math>\psi(\Omega^{\Omega^\omega})=\psi(\psi_1(\psi_1(\psi_1(1))))</math>
|-
|[[BMS]]
|<math>\left(\begin{smallmatrix}0&1&2&3&4\\0&1&1&1&0\end{smallmatrix} \right)=(0,0)(1,1)(2,1)(3,1)(4,0)</math>
|-
|[[超初等序列|HPrSS]] 或 [[0-Y]]
|<math>1,3,5,7,8</math>
|-
|[[Y序列|Y 序列]]
|<math>1,2,4,6,8,9</math>
|-
|[[PSS Hydra]]
|<math>\psi^{\text{H}}_1(\psi^{\text{H}}_2(\psi^{\text{H}}_2(\psi^{\text{H}}_2(1))))</math>
|-
|[[weak veblen函数]]
| \(\varphi(1\text{@}(1\text{@}\omega))\)
|-
|[[BHM]]
|<math>\begin{pmatrix} 0 & 1&1&1&2&1&2&2&2 \\ 0&1&0&0&1&0&0&0&0 \end{pmatrix}</math>
|-
|[[BSM]]
|<math>\begin{pmatrix} 0&1&2&0&1&1&1&1 \end{pmatrix}</math>
|-
|[[NOCF]]
|<math>\psi(\Omega_{\Omega}+\Omega_4)</math>
|-
|[[M记号]]
|<math>\psi(\psi(M+\psi(M+\psi(M+1))))</math>
|}

== 性质 ==
SVO 是 <math>\rm ACA_{0}+\Pi_{2}^{1}-BI</math>、<math>\rm \Pi_{1}^{1}-RFN</math> 和 <math>\rm KP\omega^{-}+\Pi_{2}^{set}-Foundation</math> 的[[证明论序数]]。

== 极限在此处的记号 ==

{| class="wikitable"
|+ 记号
|-
| [[Veblen函数#有限元_Veblen_函数|有限元Veblen函数]]
|-
| [[tree函数]]
|-
| [[Kruskal树定理]]
|-
| [[Bird’s θ]]
|}

[[分类:序数]]