查看“︁LVO”︁的源代码

LVO（Large Veblen Ordinal，大维布伦[[序数]]），是[[Veblen 函数#序数元_Veblen_函数|序元 Veblen 函数]]的极限。
{| class="wikitable"
![[序数记号]]
!表达式
|-
|[[Veblen 函数]]
|\(\varphi(1@(1,0))=\min \alpha\mapsto\varphi(1@\alpha)\;\text{Fixed Point}\)
|-
|[[序数坍缩函数#BOCF|BOCF]]/[[序数坍缩函数#MOCF|MOCF]]
|<math>\psi(\Omega^{\Omega^\Omega})</math>
|-
|[[BMS]]
|<math>\begin{pmatrix}
0&1&2&3&4\\
0&1&1&1&1
\end{pmatrix}
=(0,0)(1,1)(2,1)(3,1)(4,1)</math>
|-
|[[超初等序列|HPrSS]]
|<math>1,3,5,7,9</math>
|-
|[[0-Y]]
|<math>1,3,5,7,9</math>
|-
|[[Y序列|1-Y]]
|<math>1,2,4,6,8,10</math>
|-
|[[PSS Hydra]]
|<math>\psi^H_1(\psi^H_2(\psi^H_2(\psi^H_2(\psi^H_2(0)))))</math>
|-
|[[weak Veblen 函数]]
| \(\varphi(1\text{@}(1\text{@}(1,0)))\)
|-
|[[BSM]]
|<math>\begin{pmatrix}
0&1&2&0&1&1&1&1&0&1&2
\end{pmatrix}</math>
|-
|[[Dropping#M 记号|M 记号]]
|<math>\psi(\psi(M+\psi(M+\psi(M+\psi(M)))))</math>
|}

=== 性质 ===
[[证明论序数]]：|<math>\rm ACA+BI</math>，<math>\rm ACA_0+\Pi_1^1-CA^-</math>，<math>\rm \Pi_1^0-FXP_0</math>，<math>\rm KP</math>，<math>\rm KP+\Pi_2^{set}-Reflection</math>，<math>\rm KP+(BI^*)</math>，<math>\rm KP+(ATR_0^*)</math>，<math>\rm CZF</math>，<math>{\rm KP}\omega_2\upharpoonright+\Delta_1-{\rm CA}+s\Pi_1^1-{\rm ref}</math>，<math>\rm ID_1</math>，<math>\rm ID_1^2</math>，<math>\rm ML_1\ V</math>

极限在此处的记号：[[Veblen 函数#序数元_Veblen_函数|序元 Veblen 函数]]，[[BEAF|带 & 的 BEAF]]
[[分类:序数]]