查看“︁LDO”︁的源代码

LDO（Large Dropping Ordinal），由 Username5243 命名，指代拓展 [[UNOCF]] 极限。该名字曾经也用于指代 <math>(0)(1,1,1)(2,2,1)(3,1)(2)</math>（<math>\psi(\psi_\alpha(\Omega_{\alpha_2+1}\times\alpha))</math>）。
{| class="wikitable"
![[序数记号]]
!表达式
|-
|[[稳定序数]]
|<math>\psi(\lambda\alpha.\Phi(1,\alpha+1)-\Pi_0)</math>
|-
|[[投影序数]]
|<math>\psi(\psi_\alpha(\Omega_{\alpha_2+1}\times\alpha_2))</math>
|-
|[[投影序数#向上投影|向上投影]]
|<math>\psi(\psi_S(\sigma S+\psi_{S_3}(\sigma S+S_2)))</math>
|-
|[[UNOCF|Aarex's exUNOCF]]
|<math>\psi(C(1\{1:0\}0)))</math>
|-
|[[BMS]]
|<math>(0)(1,1,1)(2,2,1)(3,2)</math>
|-
|[[0-Y]]
|<math>1,4,9,13</math>
|-
|[[Y序列|1-Y]]
|<math>1,2,4,8,14,19</math>
|-
|[[Ex-hydra]]
|<math>p1(p3(p5(p4)))</math>
|-
|[[Fake Fake Fake Zeta]]
|<math>\psi_\Zeta[\varepsilon_1](\psi_\Zeta[\varepsilon_0](\varepsilon_0\times\omega))</math>
|}

=== 性质 ===
极限在此处的记号：[[SAN|NDAN]]，[[UNOCF|拓展 UNOCF]] ，LXN，MCS，CIAN v1
[[分类:序数]]