打开/关闭搜索
打开/关闭菜单
223
68
64
2725
Googology Wiki
打开/关闭外观设置菜单
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。

BMS分析Part2：BO~EBO：修订间差异

来自Googology Wiki
更多操作
←上一编辑下一编辑→
可视化wikitext
Z​（留言 | 贡献）
监督员、​管理员
617次编辑
小无编辑摘要
Z​（留言 | 贡献）
监督员、​管理员
617次编辑
无编辑摘要
第1行： 第1行：
本条目展示[[Bashicu矩阵|BMS]]强度分析的第二部分
本条目展示[[Bashicu矩阵|BMS]]强度分析的第二部分
{| class="wikitable"
{| class="wikitable"
!BMS
|BMS
!MOCF
|Standard(BOCF)
|-
|-
|<math>(0)(1,1,1)</math>
|(0)(1,1,1)
|<math>\psi(\Omega_\omega)</math>
|ψ(Ω_ω) = Buchholz's Ordinal
|-
|-
|<math>(0)(1,1,1)(1,1,0)</math>
|(0)(1,1,1)(0)
|<math>\psi(\Omega_\omega+1)</math>
|ψ(Ω_ω)+1
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,0,0)</math>
|(0)(1,1,1)(1)
|<math>\psi(\Omega_\omega+\omega)</math>
|ψ(Ω_ω+1）
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,1,0)</math>
|(0)(1,1,1)(1)(2,1)
|<math>\psi(\Omega_\omega+\Omega)</math>
|ψ(Ω_ω+SCO)
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,0)</math>
|(0)(1,1,1)(1)(2,1)(3,2)
|<math>\psi(\Omega_\omega+\psi_1(0))</math>
|ψ(Ω_ω+BHO)
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,0)(2,2,0)</math>
|(0)(1,1,1)(1)(2,1,1)
|<math>\psi(\Omega_\omega+\psi_1(1))</math>
|ψ(Ω_ω+BO)
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,0)(3,0,0)</math>
|(0)(1,1,1)(1)(2,1,1)(2)
|<math>\psi(\Omega_\omega+\psi_1(\omega))</math>
|ψ(Ω_ω+ψ(Ω_ω+1))
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,0)(3,1,0)(4,2,0)</math>
|(0)(1,1,1)(1)(2,1,1)(2)(3,1,1)
|<math>\psi(\Omega_\omega+\psi_1(\psi_1(0)))</math>
|ψ(Ω_ω+ψ(Ω_ω+BO)
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)</math>
|(0)(1,1,1)(1,1)
|<math>\psi(\Omega_\omega+\psi_1(\Omega_2))</math>
|ψ(Ω_ω+Ω)
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,0,0)</math>
|(0)(1,1,1)(1,1)(1,1)
|<math>\psi(\Omega_\omega+\psi_1(\Omega_2)\times\omega)</math>
|ψ(Ω_ω+Ω*2)
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,1,0)</math>
|(0)(1,1,1)(1,1)(2)
|<math>\psi(\Omega_\omega+\psi_1(\Omega_2)^\omega)</math>
|ψ(Ω_ω+Ω*ω)
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,2,0)</math>
|(0)(1,1,1)(1,1)(2)(3,1,1)
|<math>\psi(\Omega_\omega+\psi_1(\Omega_2+1))</math>
|ψ(Ω_ω+Ω*BO)
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,2,0)(3,0,0)</math>
|(0)(1,1,1)(1,1)(2,1)
|<math>\psi(\Omega_\omega+\psi_1(\Omega_2+\omega))</math>
|ψ(Ω_ω+Ω^2)
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,2,0)(3,1,0)(4,2,0)</math>
|(0)(1,1,1)(1,1)(2,2)
|<math>\psi(\Omega_\omega+\psi_1(\Omega_2+\psi_1(0)))</math>
|ψ(Ω_ω+ψ_1(Ω_2))
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,2,0)(3,2,0)</math>
|(0)(1,1,1)(1,1)(2,2)(3,3)
|<math>\psi(\Omega_\omega+\psi_1(\Omega_2\times2))</math>
|ψ(Ω_ω+ψ_1(Ω_3))
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(3,0,0)</math>
|(0)(1,1,1)(1,1)(2,2,1)
|<math>\psi(\Omega_\omega+\psi_1(\Omega_2\times\omega))</math>
|ψ(Ω_ω+ψ_1(Ω_ω))
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(3,2,0)</math>
|(0)(1,1,1)(1,1)(2,2,1)(1)
|<math>\psi(\Omega_\omega+\psi_1(\Omega_2^2))</math>
|ψ(Ω_ω+ψ_1(Ω_ω)+1)
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(4,2,0)</math>
|(0)(1,1,1)(1,1)(2,2,1)(1,1)
|<math>\psi(\Omega_\omega+\psi_1(\Omega_2^{\Omega_2}))</math>
|ψ(Ω_ω+ψ_1(Ω_ω)+Ω)
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,0)(3,3,0)</math>
|(0)(1,1,1)(1,1)(2,2,1)(1,1)(2,2)
|<math>\psi(\Omega_\omega+\psi_1(\psi_2(0)))</math>
|ψ(Ω_ω+ψ_1(Ω_ω)+ψ_1(Ω_2))
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,0)(3,3,0)(4,4,0)</math>
|(0)(1,1,1)(1,1)(2,2,1)(1,1)(2,2,1)
|<math>\psi(\Omega_\omega+\psi_1(\psi_3(0)))</math>
|ψ(Ω_ω+ψ_1(Ω_ω)*2)
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,1)</math>
|(0)(1,1,1)(1,1)(2,2,1)(2)
|<math>\psi(\Omega_\omega+\psi_1(\Omega_\omega))</math>
|ψ(Ω_ω+ψ_1(Ω_ω+1))
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)</math>
|(0)(1,1,1)(1,1)(2,2,1)(2)(3,1,1)
|<math>\psi(\Omega_\omega+\psi_1(\Omega_\omega+1))</math>
|ψ(Ω_ω+ψ_1(Ω_ω+BO))
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,0,0)</math>
|(0)(1,1,1)(1,1)(2,2,1)(2,1)
|<math>\psi(\Omega_\omega+\psi_1(\Omega_\omega+\omega))</math>
|ψ(Ω_ω+ψ_1(Ω_ω+Ω))
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,1,0)(4,2,0)</math>
|(0)(1,1,1)(1,1)(2,2,1)(2,2)
|<math>\psi(\Omega_\omega+\psi_1(\Omega_\omega+\psi_1(0)))</math>
|ψ(Ω_ω+Ω_2)
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,1,0)(4,2,0)(5,3,0)</math>
|(0)(1,1,1)(1,1)(2,2,1)(2,2)(3,3,1)
|<math>\psi(\Omega_\omega+\psi_1(\Omega_\omega+\psi_1(\psi_2(0))))</math>
|ψ(Ω_ω+ψ_2(Ω_ω))
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,1,0)(4,2,1)</math>
|(0)(1,1,1)(1,1,1)
|<math>\psi(\Omega_\omega+\psi_1(\Omega_\omega+\psi_1(\Omega_\omega)))</math>
|ψ(Ω_ω*2)
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,2,0)</math>
|(0)(1,1,1)(1,1,1)(1,1)
|<math>\psi(\Omega_\omega+\Omega_2)</math>
|ψ(Ω_ω*2+Ω)
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,3,0)</math>
|(0)(1,1,1)(1,1,1)(1,1)(2,2,1)(2,2,1)
|<math>\psi(\Omega_\omega+\psi_2(0))</math>
|ψ(Ω_ω*2+ψ_1(Ω_ω*2))
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,3,1)(3,3,0)(4,3,0)</math>
|(0)(1,1,1)(1,1,1)(1,1)(2,2,1)(2,2,1)(2,2)(3,3,1)(3,3,1)
|<math>\psi(\Omega_\omega+\Omega_3)</math>
|ψ(Ω_ω*2+ψ_1(Ω_ω*2+ψ_2(Ω_ω*2)))
|-
|-
|<math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,3,1)(3,3,0)(4,4,0)</math>
|(0)(1,1,1)(1,1,1)(1,1,1)
|<math>\psi(\Omega_\omega+\psi_3(0))</math>
|ψ(Ω_ω*3)
|-
|-
|<math>(0)(1,1,1)(1,1,1)</math>
|(0)(1,1,1)(1,1,1)(1,1,1)(1,1,1)
|<math>\psi(\Omega_\omega\times2)</math>
|ψ(Ω_ω*4)
|-
|-
|<math>(0)(1,1,1)(2,0,0)</math>
|(0)(1,1,1)(2)
|<math>\psi(\Omega_\omega\times\omega)</math>
|ψ(Ω_ω*ω)
|-
|-
|<math>(0)(1,1,1)(2,1,0)</math>
|(0)(1,1,1)(2)(1,1)
|<math>\psi(\Omega_\omega\times\Omega)</math>
|ψ(Ω_ω*ω+Ω)
|}
{| class="wikitable"
!BMS
!MOCF
|-
|-
|<math>(0)(1,1,1)(2,1,0)</math>
|(0)(1,1,1)(2)(1,1)(2,2,1)
|<math>\psi(\Omega_\omega\times\Omega)</math>
|ψ(Ω_ω*ω+ψ_1(Ω_ω))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)</math>
|(0)(1,1,1)(2)(1,1)(2,2,1)(3)
|<math>\psi(\Omega_\omega\times\Omega+\psi_1(\Omega_\omega))</math>
|ψ(Ω_ω*ω+ψ_1(Ω_ω*ω))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,0,0)</math>
|(0)(1,1,1)(2)(1,1)(2,2,1)(3)(2,2)
|<math>\psi(\Omega_\omega\times\Omega+\psi_1(\Omega_\omega\times\omega))</math>
|ψ(Ω_ω*ω+ψ_1(Ω_ω*ω+ψ_2(Ω_3)))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)</math>
|(0)(1,1,1)(2)(1,1)(2,2,1)(3)(2,2)(3,3,1)
|<math>\psi(\Omega_\omega\times\Omega+\psi_1(\Omega_\omega\times\Omega))</math>
|ψ(Ω_ω*ω+ψ_1(Ω_ω*ω+ψ_2(Ω_ω)))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)</math>
|(0)(1,1,1)(2)(1,1,1)
|<math>\psi(\Omega_\omega\times\Omega+\psi_1(\Omega_\omega\times\Omega+1))</math>
|ψ(Ω_ω*(ω+1))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,1,0)(4,2,0)</math>
|(0)(1,1,1)(2)(1,1,1)(1,1,1)
|<math>\psi(\Omega_\omega\times\Omega+\psi_1(\Omega_\omega\times\Omega+\psi_1(0)))</math>
|ψ(Ω_ω*(ω+2))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,1,0)(4,2,1)(5,1,0)</math>
|(0)(1,1,1)(2)(1,1,1)(2)
|<math>\psi(\Omega_\omega\times\Omega+\psi_1(\Omega_\omega\times\Omega+\psi_1(\Omega_\omega\times\Omega)))</math>
|ψ(Ω_ω*(ω2))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,2,0)</math>
|(0)(1,1,1)(2)(2)
|<math>\psi(\Omega_\omega\times\Omega+\Omega_2)</math>
|ψ(Ω_ω*ω^2)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,3,0)</math>
|(0)(1,1,1)(2)(3,1)
|<math>\psi(\Omega_\omega\times\Omega+\psi_2(0))</math>
|ψ(Ω_ω*SCO)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,3,1)(4,1,0)(3,3,0)(4,3,0)</math>
|(0)(1,1,1)(2)(3,1,1)
|<math>\psi(\Omega_\omega\times\Omega+\Omega_3)</math>
|ψ(Ω_ω*BO)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)</math>
|(0)(1,1,1)(2,1)
|<math>\psi(\Omega_\omega\times\Omega+\Omega_\omega)</math>
|ψ(Ω_ω*Ω)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(1,1,0)(2,2,1)(3,1,0)</math>
|(0)(1,1,1)(2,1)(1)
|<math>\psi(\Omega_\omega\times\Omega+\Omega_\omega+\psi_1(\Omega_\omega\times\Omega))</math>
|ψ(Ω_ω*Ω+1)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(1,1,0)(2,2,1)(3,1,0)(2,2,1)</math>
|(0)(1,1,1)(2,1)(1,1)
|<math>\psi(\Omega_\omega\times\Omega+\Omega_\omega+\psi_1(\Omega_\omega\times\Omega+\Omega_\omega))</math>
|ψ(Ω_ω*Ω+Ω)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(2,0,0)</math>
|(0)(1,1,1)(2,1)(1,1)(1,1)
|<math>\psi(\Omega_\omega\times\Omega+\Omega_\omega+\psi_1(\Omega_\omega\times\Omega+\Omega_\omega)\times\omega)</math>
|ψ(Ω_ω*Ω+Ω*2)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(2,2,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,1)
|<math>\psi(\Omega_\omega\times\Omega+\Omega_\omega+\psi_1(\Omega_\omega\times\Omega+\Omega_\omega+1))</math>
|ψ(Ω_ω*Ω+Ω^2)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(2,2,0)(3,2,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2)
|<math>\psi(\Omega_\omega\times\Omega+\Omega_\omega+\Omega_2)</math>
|ψ(Ω_ω*Ω+ψ_1(Ω_2))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(2,2,1)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)
|<math>\psi(\Omega_\omega\times\Omega+\Omega_\omega\times2)</math>
|ψ(Ω_ω*Ω+ψ_1(Ω_ω))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(3,0,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(2)
|<math>\psi(\Omega_\omega\times\Omega+\Omega_\omega\times\omega)</math>
|ψ(Ω_ω*Ω+ψ_1(Ω_ω+1))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(3,1,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(2,2)
|<math>\psi(\Omega_\omega\times\Omega\times2)</math>
|ψ(Ω_ω*Ω+ψ_1(Ω_ω+Ω_2))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(3,0,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(2,2)(3,3)
|<math>\psi(\Omega_\omega\times\Omega\times\omega)</math>
|ψ(Ω_ω*Ω+ψ_1(Ω_ω+ψ_2(Ω_3))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(4,2,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(2,2)(3,3,1)
|<math>\psi(\Omega_\omega\times\psi_1(0))</math>
|ψ(Ω_ω*Ω+ψ_1(Ω_ω+ψ_2(Ω_ω))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(4,2,1)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(2,2,1)
|<math>\psi(\Omega_\omega\times\psi_1(\Omega_\omega))</math>
|ψ(Ω_ω*Ω+ψ_1(Ω_ω*2))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(4,2,1)(5,1,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3)
|<math>\psi(\Omega_\omega\times\psi_1(\Omega_\omega\times\Omega))</math>
|ψ(Ω_ω*Ω+ψ_1(Ω_ω*ω))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(4,2,1)(5,1,0)(4,2,1)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)
|<math>\psi(\Omega_\omega\times\psi_1(\Omega_\omega\times\Omega+\Omega_\omega))</math>
|ψ(Ω_ω*Ω+ψ_1(Ω_ω*Ω))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(4,2,1)(5,1,0)(4,2,1)(5,1,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2)
|<math>\psi(\Omega_\omega\times\psi_1(\Omega_\omega\times\Omega\times2)</math>
|ψ(Ω_ω*Ω+ψ_1(Ω_ω*Ω+1))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(4,2,1)(5,1,0)(6,2,1)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,1)
|<math>\psi(\Omega_\omega\times\psi_1(\Omega_\omega\times\psi_1(\Omega_\omega))</math>
|ψ(Ω_ω*Ω+ψ_1(Ω_ω*Ω+Ω))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,2,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,1)(3,2,1)
|<math>\psi(\Omega_\omega\times\Omega_2)</math>
|ψ(Ω_ω*Ω+ψ_1(Ω_ω*Ω+ψ_2(Ω_ω)))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,2,0)(2,2,0)(3,3,1)(4,2,0)(5,3,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,1)(3,2,1)(4,1)
|<math>\psi(\Omega_\omega\times\psi_2(0))</math>
|ψ(Ω_ω*Ω+ψ_1(Ω_ω*Ω+ψ_2(Ω_ω*Ω)))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,2,0)(2,2,0)(3,3,1)(4,3,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)
|<math>\psi(\Omega_\omega\times\Omega_3)</math>
|ψ(Ω_ω*Ω+Ω_2)
|-
|-
|<math>\color{red}{(0)(1,1,1)(2,1,0)(1,1,1)}</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,3)
|<math>\color{red}\psi(\Omega_\omega^2)</math>
|ψ(Ω_ω*Ω+ψ_2(Ω_3))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,1)(1,1,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,3,1)
|<math>\psi(\Omega_\omega^2+1)</math>
|ψ(Ω_ω*Ω+ψ_2(Ω_ω))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,1)(1,1,0)(2,2,1)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,3,1)(3,3)
|<math>\psi(\Omega_\omega^2+\psi_1(\Omega_\omega))</math>
|ψ(Ω_ω*Ω+ψ_2(Ω_ω+Ω_3))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,1)(1,1,0)(2,2,1)(3,1,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,3,1)(3,3,1)
|<math>\psi(\Omega_\omega^2+\psi_1(\Omega_\omega\times\Omega))</math>
|ψ(Ω_ω*Ω+ψ_2(Ω_ω*2))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,1)(1,1,0)(2,2,1)(3,1,0)(2,1,0)(3,2,1)(4,1,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,3,1)(4)
|<math>\psi(\Omega_\omega^2+\psi_1(\Omega_\omega\times\Omega+\psi_1(\Omega_\omega\times\Omega)))</math>
|ψ(Ω_ω*Ω+ψ_2(Ω_ω*ω))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,1)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,3,1)(4,1,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,3,1)(4,1)
|<math>\psi(\Omega_\omega^2+\psi_1(\Omega_\omega\times\Omega+\Omega_2))</math>
|ψ(Ω_ω*Ω+ψ_2(Ω_ω*Ω))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(1,1,1)(2,1,0)(1,1,1)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,3,1)(4,1)(3,3)
|<math>\psi(\Omega_\omega^2\times2)</math>
|ψ(Ω_ω*Ω+Ω_3)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(2,0,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)
|<math>\psi(\Omega_\omega^2\times\omega)</math>
|ψ(Ω_ω*(Ω+1))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(2,1,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(1,1)
|<math>\psi(\Omega_\omega^2\times\Omega)</math>
|ψ(Ω_ω*(Ω+1)+Ω)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(2,1,0)(1,1,0)(2,2,1)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(1,1)(2,2,1)(3,1)(2,2,1)
|<math>\psi(\Omega_\omega^2\times\Omega+\psi_1(\Omega_\omega))</math>
|ψ(Ω_ω*(Ω+1)+ψ_1(Ω_ω*(Ω+1)))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(3,1,0)(2,2,1)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(2)
|<math>\psi(\Omega_\omega^2\times\Omega+\Omega_\omega^2)</math>
|ψ(Ω_ω*(Ω+1)+ψ_1(Ω_ω*(Ω+1)+1))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(2,1,0)(1,1,0)(2,2,1)(3,2,0)(3,2,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(2,1)
|<math>\psi(\Omega_\omega^2\times\Omega_2)</math>
|ψ(Ω_ω*(Ω+1)+ψ_1(Ω_ω*(Ω+1)+Ω))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(2,1,0)(1,1,0)(2,2,1)(3,2,0)(3,2,0)(2,2,0)(3,3,1)(4,3,0)(4,3,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(2,1)(3,2,1)(4,1)(3,2,1)
|<math>\psi(\Omega_\omega^2\times\Omega_3)</math>
|ψ(Ω_ω*(Ω+1)+ψ_1(Ω_ω*(Ω+1)+ψ_1(Ω_ω*(Ω+1)))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(2,1,0)(1,1,1)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(2,2)
|<math>\psi(\Omega_\omega^3)</math>
|ψ(Ω_ω*(Ω+1)+Ω_2)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(2,1,0)(2,1,0)(1,1,1)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(2,2)(3,3,1)(4,1)(3,3,1)
|<math>\psi(\Omega_\omega^4)</math>
|ψ(Ω_ω*(Ω+1)+Ω_3)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,0,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(2,2,1)
|<math>\psi(\Omega_\omega^\omega)</math>
|ψ(Ω_ω*(Ω+2))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,1,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(2,2,1)(2,2,1)
|<math>\psi(\Omega_\omega^\Omega)</math>
|ψ(Ω_ω*(Ω+3))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,1,0)(1,1,1)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(3)
|<math>\psi(\Omega_\omega^{\Omega_\omega})</math>
|ψ(Ω_ω*(Ω+ω))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,1,0)(4,1,0)(1,1,1)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(3,1)
|<math>\psi(\Omega_\omega^{\Omega_\omega^{\Omega_\omega}})</math>
|ψ(Ω_ω*Ω*2))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(3)
|<math>\psi(\psi_\omega(0))</math>
|ψ(Ω_ω*Ω*ω))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(1,1,1)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(3,1)
|<math>\psi(\psi_\omega(0)+\Omega_\omega)</math>
|ψ(Ω_ω*Ω^2))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(1,1,1)(2,1,0)(3,2,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(4)
|<math>\psi(\psi_\omega(0)\times2)</math>
|ψ(Ω_ω*Ω^ω))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(2,0,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(4,2)
|<math>\psi(\psi_\omega(0)\times\omega)</math>
|ψ(Ω_ω*ψ_1(Ω_2))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(2,1,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(4,2,1)
|<math>\psi(\psi_\omega(0)\times\Omega)</math>
|ψ(Ω_ω*ψ_1(Ω_ω))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(2,1,0)(3,2,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(4,2,1)(5,1)
|<math>\psi(\psi_\omega(0)^2)</math>
|ψ(Ω_ω*ψ_1(Ω_ω*Ω))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(3,0,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(4,2,1)(5,1)(6,2,1)
|<math>\psi(\psi_\omega(0)^\omega)</math>
|ψ(Ω_ω*ψ_1(Ω_ω*ψ_1(Ω_ω)))?
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(3,1,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)
|<math>\psi(\psi_\omega(0)^\Omega)</math>
|ψ(Ω_ω*Ω_2)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(3,1,0)(4,2,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(1)
|<math>\psi(\psi_\omega(0)^{\psi_\omega(0)})</math>
|ψ(Ω_ω*Ω_2+1)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(3,1,0)(4,2,0)(4,1,0)(5,2,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(1,1)
|<math>\psi(\psi_\omega(0)^{\psi_\omega(0)^{\psi_\omega(0)}})</math>
|ψ(Ω_ω*Ω_2+Ω)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(3,2,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(1,1)(2,2,1)
|<math>\psi(\psi_\omega(1))</math>
|ψ(Ω_ω*Ω_2+ψ_1(Ω_ω))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(3,2,0)(3,2,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(1,1)(2,2,1)(3,2)
|<math>\psi(\psi_\omega(2))</math>
|ψ(Ω_ω*Ω_2+ψ_1(Ω_ω*Ω_2))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(4,0,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2)
|<math>\psi(\psi_\omega(\omega))</math>
|ψ(Ω_ω*Ω_2+ψ_1(Ω_ω*Ω_2+1))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(4,1,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,1)
|<math>\psi(\psi_\omega(\Omega))</math>
|ψ(Ω_ω*Ω_2+ψ_1(Ω_ω*Ω_2+Ω))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(4,1,0)(5,2,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,2)
|<math>\psi(\psi_\omega(\psi_\omega(0)))</math>
|ψ(Ω_ω*Ω_2+Ω_2)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(4,2,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,2)(3,3,1)
|<math>\psi(\Omega_{\omega+1})</math>
|ψ(Ω_ω*Ω_2+ψ_2(Ω_ω))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(4,2,0)(1,1,1)(2,1,1)(3,2,0)(4,2,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,2)(3,3,1)(4,2)
|<math>\psi(\Omega_{\omega+1}+\psi_\omega(\Omega_{\omega+1}))</math>
|ψ(Ω_ω*Ω_2+ψ_2(Ω_ω*Ω_2))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(4,2,0)(3,2,0)(4,2,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,2)(3,3,1)(4,2)(3,3)
|<math>\psi(\Omega_{\omega+1}\times2)</math>
|ψ(Ω_ω*Ω_2+Ω_3)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(4,2,0)(4,0,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,2)(3,3,1)(4,2)(3,3,1)
|<math>\psi(\Omega_{\omega+1}\times\omega)</math>
|ψ(Ω_ω*(Ω_2+1))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(4,2,0)(4,1,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,2)(3,3,1)(4,2)(4)
|<math>\psi(\Omega_{\omega+1}\times\Omega)</math>
|ψ(Ω_ω*Ω_2*ω)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(4,2,0)(4,2,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,2)(3,3,1)(4,2)(5,3)
|<math>\psi(\Omega_{\omega+1}^2)</math>
|ψ(Ω_ω*ψ_2(Ω_3))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(4,2,0)(5,0,0)</math>
|(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,2)(3,3,1)(4,3)
|<math>\psi(\Omega_{\omega+1}^\omega)</math>
|ψ(Ω_ω*Ω_3)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(4,2,0)(5,1,0)</math>
|(0)(1,1,1)(2,1)(1,1,1)
|<math>\psi(\Omega_{\omega+1}^\Omega)</math>
|ψ(Ω_ω^2) = the First Lifting Ordinal
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(4,2,0)(5,2,0)</math>
|(0)(1,1,1)(2,1)(1,1,1)(1,1)
|<math>\psi(\Omega_{\omega+1}^{\Omega_{\omega+1}})</math>
|ψ(Ω_ω^2+Ω)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(4,3,0)</math>
|(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2)
|<math>\psi(\psi_{\omega+1}(0))</math>
|ψ(Ω_ω^2+ψ_1(Ω_2))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(4,3,0)(5,3,0)</math>
|(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)
|<math>\psi(\Omega_{\omega+2})</math>
|ψ(Ω_ω^2+ψ_1(Ω_ω))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,0)(4,3,0)(5,4,0)</math>
|(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)(3,2)
|<math>\psi(\psi_{\omega+2}(0))</math>
|ψ(Ω_ω^2+ψ_1(Ω_ω*Ω))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)</math>
|(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)(3,2)(2,2,1)
|<math>\psi(\Omega_{\omega\times2})</math>
|ψ(Ω_ω^2+ψ_1(Ω_ω^2))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(1,1,1)</math>
|(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)(3,2)(2,2,1)(2,1)(3,2,1)
|<math>\psi(\Omega_{\omega\times2}+\Omega_\omega)</math>
|ψ(Ω_ω^2+ψ_1(Ω_ω^2+ψ_1(Ω_ω)))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(1,1,1)(2,1,0)(3,2,1)</math>
|(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)(3,2)(2,2,1)(2,1)(3,2,1)(4,2)(3,2,1)
|<math>\psi(\Omega_{\omega\times2}+\psi_\omega(\Omega_{\omega\times2}))</math>
|ψ(Ω_ω^2+ψ_1(Ω_ω^2+ψ_1(Ω_ω^2)))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(3,2,0)</math>
|(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)(3,2)(2,2,1)(2,2)
|<math>\psi(\Omega_{\omega\times2}+\psi_\omega(\Omega_{\omega\times2}+1))</math>
|ψ(Ω_ω^2+Ω_2)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(3,2,0)(4,1,0)(5,2,1)</math>
|(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)(3,2)(2,2,1)(2,2)(3,3,1)
|<math>\psi(\Omega_{\omega\times2}+\psi_\omega(\Omega_{\omega\times2}+\psi_\omega(\Omega_{\omega\times2})))</math>
|ψ(Ω_ω^2+ψ_2(Ω_ω))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(3,2,0)(4,2,0)</math>
|(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)(3,2)(2,2,1)(2,2)(3,3,1)(4,3)(3,3,1)
|<math>\psi(\Omega_{\omega\times2}+\Omega_{\omega+1})</math>
|ψ(Ω_ω^2+ψ_2(Ω_ω^2))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(3,2,0)(4,3,1)</math>
|(0)(1,1,1)(2,1)(1,1,1)(1,1,1)
|<math>\psi(\Omega_{\omega\times2}+\psi_{\omega+1}(\Omega_{\omega\times2}))</math>
|ψ(Ω_ω^2+Ω_ω)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(3,2,0)(4,3,1)(4,3,0)</math>
|(0)(1,1,1)(2,1)(1,1,1)(1,1,1)(1,1,1)
|<math>\psi(\Omega_{\omega\times2}+\psi_{\omega+1}(\Omega_{\omega\times2}+1))</math>
|ψ(Ω_ω^2+Ω_ω*2)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(3,2,0)(4,3,1)(4,3,0)(5,2,0)</math>
|(0)(1,1,1)(2,1)(1,1,1)(2)
|<math>\psi(\Omega_{\omega\times2}+\psi_{\omega+1}(\Omega_{\omega\times2}+\Omega_{\omega+1}))</math>
|ψ(Ω_ω^2+Ω_ω*ω)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(3,2,0)(4,3,1)(4,3,0)(5,2,0)</math>
|(0)(1,1,1)(2,1)(1,1,1)(2,1)
|<math>\psi(\Omega_{\omega\times2}+\Omega_{\omega+2})</math>
|ψ(Ω_ω^2+Ω_ω*Ω)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(3,2,1)</math>
|(0)(1,1,1)(2,1)(1,1,1)(2,1)(1,1,1)
|<math>\psi(\Omega_{\omega\times2}\times2)</math>
|ψ(Ω_ω^2*2)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(4,1,0)</math>
|(0)(1,1,1)(2,1)(1,1,1)(2,1)(1,1,1)(2)
|<math>\psi(\Omega_{\omega\times2}\times\Omega)</math>
|ψ(Ω_ω^2*2+Ω_ω*ω)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(4,1,0)(1,1,1)</math>
|(0)(1,1,1)(2,1)(1,1,1)(2,1)(1,1,1)(2,1)
|<math>\psi(\Omega_{\omega\times2}\times\Omega_\omega)</math>
|ψ(Ω_ω^2*2+Ω_ω*Ω)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(4,1,0)(5,2,0)</math>
|(0)(1,1,1)(2,1)(1,1,1)(2,1)(1,1,1)(2,1)(1,1,1)
|<math>\psi(\Omega_{\omega\times2}\times\psi_\omega(0))</math>
|ψ(Ω_ω^2*3)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(4,1,0)(5,2,1)</math>
|(0)(1,1,1)(2,1)(2)
|<math>\psi(\Omega_{\omega\times2}\times\psi_\omega(\Omega_{\omega\times2}))</math>
|ψ(Ω_ω^2*ω)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)</math>
|(0)(1,1,1)(2,1)(2,1)
|<math>\psi(\Omega_{\omega\times2}\times\Omega_{\omega+1})</math>
|ψ(Ω_ω^2*Ω)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(3,2,0)(4,3,1)</math>
|(0)(1,1,1)(2,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)
|<math>\psi(\Omega_{\omega\times2}\times\Omega_{\omega+1}+\psi_{\omega+1}(\Omega_{\omega\times2}))</math>
|ψ(Ω_ω^2*Ω+Ω_ω)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(3,2,0)(4,3,1)(5,2,0)(4,3,1)</math>
|(0)(1,1,1)(2,1)(2,1)(1,1)(2,2,1)(3,1)(3,1)(2,2,1)
|<math>\psi(\Omega_{\omega\times2}\times\Omega_{\omega+1}+\Omega_{\omega\times2})</math>
|ψ(Ω_ω^2*(Ω+1))
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(3,2,0)(4,3,1)(5,3,0)</math>
|(0)(1,1,1)(2,1)(2,1)(1,1)(2,2,1)(3,2)(3,2)
|<math>\psi(\Omega_{\omega\times2}\times\Omega_{\omega+2})</math>
|ψ(Ω_ω^2*Ω_2)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(3,2,1)</math>
|(0)(1,1,1)(2,1)(2,1)(1,1,1)
|<math>\psi(\Omega_{\omega\times2}^2)</math>
|ψ(Ω_ω^3)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(4,2,0)(3,2,1)</math>
|(0)(1,1,1)(2,1)(2,1)(2,1)(1,1,1)
|<math>\psi(\Omega_{\omega\times2}^3)</math>
|ψ(Ω_ω^4)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(5,0,0)</math>
|(0)(1,1,1)(2,1)(3)
|<math>\psi(\Omega_{\omega\times2}^\omega)</math>
|ψ(Ω_ω^ω)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(5,2,0)</math>
|(0)(1,1,1)(2,1)(3)(4,1,1)
|<math>\psi(\Omega_{\omega\times2}^{\Omega_{\omega+1}})</math>
|ψ(Ω_ω^BO)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(5,2,0)(3,2,1)</math>
|(0)(1,1,1)(2,1)(3,1)
|<math>\psi(\Omega_{\omega\times2}^{\Omega_{\omega\times2}})</math>
|ψ(Ω_ω^Ω)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(5,3,0)</math>
|(0)(1,1,1)(2,1)(3,1)(1,1)(2,2,1)(3,2)(4,2)
|<math>\psi(\psi_{\omega\times2}(0))</math>
|ψ(Ω_ω^Ω_2)
|-
|-
|<math>(0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(5,3,1)</math>
|(0)(1,1,1)(2,1)(3,1)(1,1,1)
|<math>\psi(\Omega_{\omega\times3})</math>
|ψ(Ω_ω^Ω_ω)
|-
|-
|<math>(0)(1,1,1)(2,1,1)</math>
|(0)(1,1,1)(2,1)(3,1)(2)
|<math>\psi(\Omega_{\omega^2})</math>
|ψ(Ω_ω^Ω_ω*ω)
|-
|(0)(1,1,1)(2,1)(3,1)(2,1)
|ψ(Ω_ω^Ω_ω*Ω)
|-
|(0)(1,1,1)(2,1)(3,1)(2,1)(1,1,1)
|ψ(Ω_ω^(Ω_ω+1))
|-
|(0)(1,1,1)(2,1)(3,1)(2,1)(2,1)(1,1,1)
|ψ(Ω_ω^(Ω_ω+2))
|-
|(0)(1,1,1)(2,1)(3,1)(2,1)(3)
|ψ(Ω_ω^(Ω_ω+ω))
|-
|(0)(1,1,1)(2,1)(3,1)(2,1)(3,1)(1,1,1)
|ψ(Ω_ω^(Ω_ω*2))
|-
|(0)(1,1,1)(2,1)(3,1)(3)
|ψ(Ω_ω^(Ω_ω*ω))
|-
|(0)(1,1,1)(2,1)(3,1)(3,1)
|ψ(Ω_ω^(Ω_ω*Ω))
|-
|(0)(1,1,1)(2,1)(3,1)(3,1)(1,1,1)
|ψ(Ω_ω^Ω_ω^2)
|-
|(0)(1,1,1)(2,1)(3,1)(3,1)(3,1)(1,1,1)
|ψ(Ω_ω^Ω_ω^3)
|-
|(0)(1,1,1)(2,1)(3,1)(4)
|ψ(Ω_ω^Ω_ω^ω)
|-
|(0)(1,1,1)(2,1)(3,1)(4,1)(1,1,1)
|ψ(Ω_ω^Ω_ω^Ω_ω)
|-
|(0)(1,1,1)(2,1)(3,1)(4,1)(5,1)(1,1,1)
|ψ(Ω_ω^^4)
|-
|(0)(1,1,1)(2,1)(3,2)
|ψ(Ω_(ω+1)) = Takeuti-Feferman-Buchholz's Ordinal
|-
|(0)(1,1,1)(2,1)(3,2)(1)
|ψ(Ω_(ω+1)+1)
|-
|(0)(1,1,1)(2,1)(3,2)(1,1)
|ψ(Ω_(ω+1)+Ω)
|-
|(0)(1,1,1)(2,1)(3,2)(1,1)(2,2)
|ψ(Ω_(ω+1)+ψ_1(Ω_2))
|-
|(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)
|ψ(Ω_(ω+1)+ψ_1(Ω_ω))
|-
|(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3)
|ψ(Ω_(ω+1)+ψ_1(Ω_ω+*ω))
|-
|(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,1)
|ψ(Ω_(ω+1)+ψ_1(Ω_ω*Ω))
|-
|(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)
|ψ(Ω_(ω+1)+ψ_1(Ω_ω*Ω_2))
|-
|(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(2,2,1)
|ψ(Ω_(ω+1)+ψ_1(Ω_ω^2))
|-
|(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)
|ψ(Ω_(ω+1)+ψ_1(Ω_(ω+1)))
|-
|(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)(2,2)
|ψ(Ω_(ω+1)+Ω_2)
|-
|(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)(2,2)(3,3)
|ψ(Ω_(ω+1)+ψ_2(Ω_2))
|-
|(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)(2,2)(3,3,1)
|ψ(Ω_(ω+1)+ψ_2(Ω_ω))
|-
|(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)(2,2)(3,3,1)(4,3)
|ψ(Ω_(ω+1)+ψ_2(Ω_ω+Ω_3))
|-
|(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)(2,2)(3,3,1)(4,3)(3,3,1)
|ψ(Ω_(ω+1)+ψ_2(Ω_ω^2))
|-
|(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)(2,2)(3,3,1)(4,3)(5,4)
|ψ(Ω_(ω+1)+ψ_2(Ω_(ω+1)))
|-
|(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)(2,2)(3,3,1)(4,3)(5,4)(3,3)
|ψ(Ω_(ω+1)+Ω_3)
|-
|(0)(1,1,1)(2,1)(3,2)(1,1,1)
|ψ(Ω_(ω+1)+Ω_ω)
|-
|(0)(1,1,1)(2,1)(3,2)(1,1,1)(2,1)(3,2)
|ψ(Ω_(ω+1)+ψω(Ω_(ω+1)))
|-
|(0)(1,1,1)(2,1)(3,2)(2)
|ψ(Ω_(ω+1)+ψω(Ω_(ω+1)+1))
|-
|(0)(1,1,1)(2,1)(3,2)(2,1)
|ψ(Ω_(ω+1)+ψω(Ω_(ω+1)+Ω))
|-
|(0)(1,1,1)(2,1)(3,2)(2,1)(3,2)
|ψ(Ω_(ω+1)+ψω(Ω_(ω+1)*2))
|-
|(0)(1,1,1)(2,1)(3,2)(3)
|ψ(Ω_(ω+1)+ψω(Ω_(ω+1)*ω))
|-
|(0)(1,1,1)(2,1)(3,2)(3,1)
|ψ(Ω_(ω+1)+ψω(Ω_(ω+1)*Ω))
|-
|(0)(1,1,1)(2,1)(3,2)(3,2)
|ψ(Ω_(ω+1)*2)
|-
|(0)(1,1,1)(2,1)(3,2)(4)
|ψ(Ω_(ω+1)*ω)
|-
|(0)(1,1,1)(2,1)(3,2)(4,1)
|ψ(Ω_(ω+1)*Ω)
|-
|(0)(1,1,1)(2,1)(3,2)(4,1)(1,1,1)
|ψ(Ω_(ω+1)*Ω_ω)
|-
|(0)(1,1,1)(2,1)(3,2)(4,1)(5,2)
|ψ(Ω_(ω+1)*ψω(Ω_(ω+1)*ω))
|-
|(0)(1,1,1)(2,1)(3,2)(4,2)
|ψ(Ω_(ω+1)^2)
|-
|(0)(1,1,1)(2,1)(3,2)(4,2)(4,2)
|ψ(Ω_(ω+1)^3)
|-
|(0)(1,1,1)(2,1)(3,2)(4,2)(5)
|ψ(Ω_(ω+1)^ω)
|-
|(0)(1,1,1)(2,1)(3,2)(4,2)(5,1)
|ψ(Ω_(ω+1)^Ω)
|-
|(0)(1,1,1)(2,1)(3,2)(4,2)(5,1)(1,1,1)
|ψ(Ω_(ω+1)^Ω_ω)
|-
|(0)(1,1,1)(2,1)(3,2)(4,2)(5,2)
|ψ(Ω_(ω+1)^Ω_(ω+1))
|-
|(0)(1,1,1)(2,1)(3,2)(4,2)(5,2)(6,2)
|ψ(Ω_(ω+1)^^3)
|-
|(0)(1,1,1)(2,1)(3,2)(4,3)
|ψ(Ω_(ω+2))
|-
|(0)(1,1,1)(2,1)(3,2)(4,3)(4,3)
|ψ(Ω_(ω+2)*2)
|-
|(0)(1,1,1)(2,1)(3,2)(4,3)(5)
|ψ(Ω_(ω+2)*ω)
|-
|(0)(1,1,1)(2,1)(3,2)(4,3)(5,1)
|ψ(Ω_(ω+2)*Ω)
|-
|(0)(1,1,1)(2,1)(3,2)(4,3)(5,1)(1,1,1)
|ψ(Ω_(ω+2)*Ω_ω)
|-
|(0)(1,1,1)(2,1)(3,2)(4,3)(5,2)
|ψ(Ω_(ω+2)*Ω_(ω+1))
|-
|(0)(1,1,1)(2,1)(3,2)(4,3)(5,3)
|ψ(Ω_(ω+2)^2)
|-
|(0)(1,1,1)(2,1)(3,2)(4,3)(5,3)(6,3)
|ψ(Ω_(ω+2)^^2)
|-
|(0)(1,1,1)(2,1)(3,2)(4,3)(5,4)
|ψ(Ω_(ω+3))
|-
|(0)(1,1,1)(2,1)(3,2,1)
|ψ(Ω_(ω2))
|-
|(0)(1,1,1)(2,1)(3,2,1)(1,1)
|ψ(Ω_(ω2)+Ω)
|-
|(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2)
|ψ(Ω_(ω2)+ψ_1(Ω_2))
|-
|(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)
|ψ(Ω_(ω2)+ψ_1(Ω_ω))
|-
|(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)
|ψ(Ω_(ω2)+ψ_1(Ω_ω*Ω_2))
|-
|(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(2,2,1)
|ψ(Ω_(ω2)+ψ_1(Ω_ω^2))
|-
|(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(3,2)(2,2,1)
|ψ(Ω_(ω2)+ψ_1(Ω_ω^3))
|-
|(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(4,3)
|ψ(Ω_(ω2)+ψ_1(Ω_(ω+1)))
|-
|(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(4,3,1)
|ψ(Ω_(ω2)+ψ_1(Ω_(ω2)))
|-
|(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(4,3,1)(2,2)
|ψ(Ω_(ω2)+Ω_2)
|-
|(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(4,3,1)(2,2)(3,3,1)(4,3)
|ψ(Ω_(ω2)+ψ_2(Ω_ω))
|-
|(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(4,3,1)(2,2)(3,3,1)(4,3)(5,4,1)
|ψ(Ω_(ω2)+ψ_2(Ω_(ω2))
|-
|(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(4,3,1)(2,2)(3,3,1)(4,3)(5,4,1)(3,3)
|ψ(Ω_(ω2)+Ω_3)
|-
|(0)(1,1,1)(2,1)(3,2,1)(1,1,1)
|ψ(Ω_(ω2)+Ω_ω)
|-
|(0)(1,1,1)(2,1)(3,2,1)(1,1,1)(1,1,1)
|ψ(Ω_(ω2)+Ω_ω*2)
|-
|(0)(1,1,1)(2,1)(3,2,1)(1,1,1)(2)
|ψ(Ω_(ω2)+Ω_ω*ω)
|-
|(0)(1,1,1)(2,1)(3,2,1)(1,1,1)(2,1)
|ψ(Ω_(ω2)+Ω_ω*Ω)
|-
|(0)(1,1,1)(2,1)(3,2,1)(1,1,1)(2,1)(1,1,1)
|ψ(Ω_(ω2)+Ω_ω^2)
|-
|(0)(1,1,1)(2,1)(3,2,1)(1,1,1)(2,1)(3,2)
|ψ(Ω_(ω2)+ψω(Ω_(ω+1)))
|-
|(0)(1,1,1)(2,1)(3,2,1)(1,1,1)(2,1)(3,2,1)
|ψ(Ω_(ω2)+ψω(Ω_(ω2)))
|-
|(0)(1,1,1)(2,1)(3,2,1)(2)
|ψ(Ω_(ω2)+ψω(Ω_(ω2)+1))
|-
|(0)(1,1,1)(2,1)(3,2,1)(2,1)
|ψ(Ω_(ω2)+ψω(Ω_(ω2)+Ω))
|-
|(0)(1,1,1)(2,1)(3,2,1)(2,1)(1,1,1)
|ψ(Ω_(ω2)+ψω(Ω_(ω2)+Ω_ω))
|-
|(0)(1,1,1)(2,1)(3,2,1)(2,1)(1,1,1)(2,1)(3,2,1)
|ψ(Ω_(ω2)+ψω(Ω_(ω2)*2))
|-
|(0)(1,1,1)(2,1)(3,2,1)(2,1)(3,2)
|ψ(Ω_(ω2)+ψω(Ω_(ω2)+ψω(Ω_(ω+1)))
|-
|(0)(1,1,1)(2,1)(3,2,1)(2,1)(3,2,1)
|ψ(Ω_(ω2)+ψω(Ω_(ω2)+ψω(Ω_(ω2)))
|-
|(0)(1,1,1)(2,1)(3,2,1)(3,1)(4,2,1)
|ψ(Ω_(ω2)+ψω(Ω_(ω2)+ψω(Ω_(ω2+ψω(Ω_(ω2)))))
|-
|(0)(1,1,1)(2,1)(3,2,1)(3,2)
|ψ(Ω_(ω2)+Ω_(ω+1))
|-
|(0)(1,1,1)(2,1)(3,2,1)(3,2)(4,2)
|ψ(Ω_(ω2)+Ω_(ω+1)^2)
|-
|(0)(1,1,1)(2,1)(3,2,1)(3,2)(4,2)(5,2)
|ψ(Ω_(ω2)+Ω_(ω+1)^Ω_(ω+1))
|-
|(0)(1,1,1)(2,1)(3,2,1)(3,2)(4,3)
|ψ(Ω_(ω2)+ψ_(ω+1)(Ω_(ω+2)))
|-
|(0)(1,1,1)(2,1)(3,2,1)(3,2)(4,3,1)
|ψ(Ω_(ω2)+ψ_(ω+1)(Ω_(ω2)))
|-
|(0)(1,1,1)(2,1)(3,2,1)(3,2)(4,3,1)(4,3)
|ψ(Ω_(ω2)+Ω_(ω+2))
|-
|(0)(1,1,1)(2,1)(3,2,1)(3,2,1)
|ψ(Ω_(ω2)*2)
|-
|(0)(1,1,1)(2,1)(3,2,1)(4)
|ψ(Ω_(ω2)*ω)
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,1)
|ψ(Ω_(ω2)*Ω)
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,1)(1,1,1)
|ψ(Ω_(ω2)*Ω_ω)
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)
|ψ(Ω_(ω2)*Ω_(ω+1))
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)
|ψ(Ω_(ω2)*Ω_(ω+1)+Ω_(ω+1))
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)
|ψ(Ω_(ω2)*Ω_(ω+1)+ψ_(ω+1)(Ω_(ω2)))
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,2)
|ψ(Ω_(ω2)*Ω_(ω+1)+ψ_(ω+1)(Ω_(ω2)*Ω_(ω+1)))
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,2)(4,3)
|ψ(Ω_(ω2)*Ω_(ω+1)+Ω_(ω+2))
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,2)(4,3,1)
|ψ(Ω_(ω2)*(Ω_(ω+1)+1))
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,2)(4,3,1)(5,2)
|ψ(Ω_(ω2)*Ω_(ω+1)*2)
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,2)(5)
|ψ(Ω_(ω2)*Ω_(ω+1)*ω)
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,2)(5,2)
|ψ(Ω_(ω2)*Ω_(ω+1)^2)
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,2)(6)
|ψ(Ω_(ω2)*Ω_(ω+1)^ω)
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,2)(6,2)
|ψ(Ω_(ω2)*Ω_(ω+1)^Ω_(ω+1))
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,2)(6,3)
|ψ(Ω_(ω2)*ψ_(ω+1)(Ω_(ω+2)))
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,2)(6,3,1)
|ψ(Ω_(ω2)*ψ_(ω+1)(Ω_(ω2)))
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,3)
|ψ(Ω_(ω2)*Ω_(ω+2))
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,3)(6,4,1)(7,4)
|ψ(Ω_(ω2)*Ω_(ω+3))
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2,1)
|ψ(Ω_(ω2)^2)
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)(4,2)(3,2,1)
|ψ(Ω_(ω2)^3)
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)(5)
|ψ(Ω_(ω2)^ω)
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)(5,2)(3,2,1)
|ψ(Ω_(ω2)^Ω_(ω2))
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)(5,3)
|ψ(Ω_(ω2+1))
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)(5,3)(6,4)
|ψ(Ω_(ω2+2))
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)(5,3,1)
|ψ(Ω_(ω3))
|-
|(0)(1,1,1)(2,1)(3,2,1)(4,2)(5,3,1)(6,4)(7,5,1)
|ψ(Ω_(ω4))
|-
|(0)(1,1,1)(2,1,1)
|ψ(Ω_(ω^2))
|-
|(0)(1,1,1)(2,1,1)(1,1)
|ψ(Ω_(ω^2)+Ω)
|-
|(0)(1,1,1)(2,1,1)(1,1)(2,2)
|ψ(Ω_(ω^2)+ψ_1(Ω_2))
|-
|(0)(1,1,1)(2,1,1)(1,1)(2,2,1)
|ψ(Ω_(ω^2)+ψ_1(Ω_ω))
|-
|(0)(1,1,1)(2,1,1)(1,1)(2,2,1)(3,2,1)
|ψ(Ω_(ω^2)+ψ_1(Ω_(ω^2)))
|-
|(0)(1,1,1)(2,1,1)(1,1)(2,2,1)(3,2,1)(2,2)
|ψ(Ω_(ω^2)+Ω_2)
|-
|(0)(1,1,1)(2,1,1)(1,1)(2,2,1)(3,2,1)(2,2)(3,3,1)(4,3,1)
|ψ(Ω_(ω^2)+ψ_2(Ω_(ω^2))
|-
|(0)(1,1,1)(2,1,1)(1,1,1)
|ψ(Ω_(ω^2)+Ω_ω))
|-
|(0)(1,1,1)(2,1,1)(1,1,1)(2)
|ψ(Ω_(ω^2)+Ω_ω*ω)
|-
|(0)(1,1,1)(2,1,1)(1,1,1)(2,1)
|ψ(Ω_(ω^2)+Ω_ω*Ω)
|-
|(0)(1,1,1)(2,1,1)(1,1,1)(2,1)(3,1)
|ψ(Ω_(ω^2)+Ω_ω^2)
|-
|(0)(1,1,1)(2,1,1)(1,1,1)(2,1)(3,2)
|ψ(Ω_(ω^2)+ψω(Ω_(ω+1)))
|-
|(0)(1,1,1)(2,1,1)(1,1,1)(2,1)(3,2)(4,3)
|ψ(Ω_(ω^2)+ψω(Ω_(ω+2)))
|-
|(0)(1,1,1)(2,1,1)(1,1,1)(2,1)(3,2,1)
|ψ(Ω_(ω^2)+ψω(Ω_(ω2)))
|-
|(0)(1,1,1)(2,1,1)(1,1,1)(2,1)(3,2,1)(4,2,1)
|ψ(Ω_(ω^2)+ψω(Ω_(ω^2)))
|-
|(0)(1,1,1)(2,1,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(3,2)
|ψ(Ω_(ω^2)+Ω_(ω+1))
|-
|(0)(1,1,1)(2,1,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(3,2,1)
|ψ(Ω_(ω^2)+Ω_(ω2))
|-
|(0)(1,1,1)(2,1,1)(1,1,1)(2,1,1)
|ψ(Ω_(ω^2)*2)
|-
|(0)(1,1,1)(2,1,1)(1,1,1)(2,1,1)(1,1,1)(2,1,1)
|ψ(Ω_(ω^2)*3)
|-
|(0)(1,1,1)(2,1,1)(2)
|ψ(Ω_(ω^2)*ω)
|-
|(0)(1,1,1)(2,1,1)(2)(1,1,1)(2,1,1)
|ψ(Ω_(ω^2)*(ω+1))
|-
|(0)(1,1,1)(2,1,1)(2)(1,1,1)(2,1,1)(2)
|ψ(Ω_(ω^2)*(ω2))
|-
|(0)(1,1,1)(2,1,1)(2)(2)
|ψ(Ω_(ω^2)*ω^2)
|-
|(0)(1,1,1)(2,1,1)(2)(3)
|ψ(Ω_(ω^2)*ω^ω)
|-
|(0)(1,1,1)(2,1,1)(2)(3,1)
|ψ(Ω_(ω^2)*SCO)
|-
|(0)(1,1,1)(2,1,1)(2)(3,1,1)
|ψ(Ω_(ω^2)*BO)
|-
|(0)(1,1,1)(2,1,1)(2)(3,1,1)(4,1,1)
|ψ(Ω_(ω^2)*ψ(Ω_(ω^2)))
|-
|(0)(1,1,1)(2,1,1)(2,1)
|ψ(Ω_(ω^2)*Ω)
|-
|(0)(1,1,1)(2,1,1)(2,1)(1,1,1)
|ψ(Ω_(ω^2)*Ω_ω)
|-
|(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(1,1,1)
|ψ(Ω_(ω^2)*Ω_ω+Ω_ω)
|-
|(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)
|ψ(Ω_(ω^2)*Ω_ω+Ω_ω*Ω)
|-
|(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(1,1,1)
|ψ(Ω_(ω^2)*Ω_ω+Ω_ω^2)
|-
|(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2)
|ψ(Ω_(ω^2)*Ω_ω+ψ_ω(Ω_(ω+1)))
|-
|(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)
|ψ(Ω_(ω^2)*Ω_ω+ψ_ω(Ω_(ω^2)))
|-
|(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)
|ψ(Ω_(ω^2)*Ω_ω+ψ_ω(Ω_(ω^2)*Ω))
|-
|(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(1,1,1)
|ψ(Ω_(ω^2)*Ω_ω+ψ_ω(Ω_(ω^2)*Ω_ω))
|-
|(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(3,2)
|ψ(Ω_(ω^2)*Ω_ω+Ω_(ω+1))
|-
|(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(3,2,1)
|ψ(Ω_(ω^2)*Ω_ω+Ω_(ω2))
|-
|(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(3,2,1)(4,2,1)
|ψ(Ω_(ω^2)*(Ω_ω+1))
|-
|(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(3,2,1)(4,2,1)(5,1)(1,1,1)
|ψ(Ω_(ω^2)*Ω_ω*2)
|-
|(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4)
|ψ(Ω_(ω^2)*Ω_ω*ω)
|-
|(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2,1)
|ψ(Ω_(ω^2)*Ω_ω^2)
|-
|(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(5)
|ψ(Ω_(ω^2)*Ω_ω^ω)
|-
|(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(6,2)
|ψ(Ω_(ω^2)*ψω(Ω_(ω+1)))
|-
|(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(6,2,1)(7,2,1)
|ψ(Ω_(ω^2)*ψω(Ω_(ω^2)))
|-
|(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2)
|ψ(Ω_(ω^2)*Ω_(ω+1))
|-
|(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(4,2,1)
|ψ(Ω_(ω^2)*Ω_(ω2))
|-
|(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(4,2,1)(5,2)(6,3,1)(7,3,1)(8,3)
|ψ(Ω_(ω^2)*Ω_(ω2+1))
|-
|(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(4,2,1)(5,2)(6,3,1)(7,3,1)(8,3)(7,3,1)
|ψ(Ω_(ω^2)*Ω_(ω3))
|-
|(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1,1)
|ψ(Ω_(ω^2)^2)
|-
|(0)(1,1,1)(2,1,1)(2,1)(2)
|ψ(Ω_(ω^2)^2*ω)
|-
|(0)(1,1,1)(2,1,1)(2,1)(2,1)
|ψ(Ω_(ω^2)^2*Ω)
|-
|(0)(1,1,1)(2,1,1)(2,1)(2,1)(1,1,1)
|ψ(Ω_(ω^2)^2*Ω_ω)
|-
|(0)(1,1,1)(2,1,1)(2,1)(2,1)(1,1,1)(2,1,1)
|ψ(Ω_(ω^2)^3)
|-
|(0)(1,1,1)(2,1,1)(2,1)(2,1)(2,1)(1,1,1)(2,1,1)
|ψ(Ω_(ω^2)^4)
|-
|(0)(1,1,1)(2,1,1)(2,1)(3)
|ψ(Ω_(ω^2)^ω)
|-
|(0)(1,1,1)(2,1,1)(2,1)(3,1)
|ψ(Ω_(ω^2)^Ω)
|-
|(0)(1,1,1)(2,1,1)(2,1)(3,1)(1,1,1)
|ψ(Ω_(ω^2)^Ω_ω)
|-
|(0)(1,1,1)(2,1,1)(2,1)(3,1)(1,1,1)(2,1,1)
|ψ(Ω_(ω^2)^Ω_(ω^2))
|-
|(0)(1,1,1)(2,1,1)(2,1)(3,2)
|ψ(Ω_(ω^2+1))
|-
|(0)(1,1,1)(2,1,1)(2,1)(3,2,1)
|ψ(Ω_(ω^2+ω))
|-
|(0)(1,1,1)(2,1,1)(2,1)(3,2,1)(4,2,1)
|ψ(Ω_(ω^2*2))
|-
|(0)(1,1,1)(2,1,1)(2,1,1)
|ψ(Ω_(ω^3))
|-
|(0)(1,1,1)(2,1,1)(2,1,1)(2,1,1)
|ψ(Ω_(ω^4))
|-
|(0)(1,1,1)(2,1,1)(3)
|ψ(Ω_(ω^ω))
|-
|(0)(1,1,1)(2,1,1)(3)(4,1,1)
|ψ(Ω_BO)
|-
|(0)(1,1,1)(2,1,1)(3,1)
|ψ(Ω_Ω) = Bird's Ordinal
|-
|(0)(1,1,1)(2,1,1)(3,1)(1)
|ψ(Ω_Ω+1)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)
|ψ(Ω_Ω+Ω)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2)
|ψ(Ω_Ω+ψ_1(Ω_2))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)
|ψ(Ω_Ω+ψ_1(Ω_ω))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)
|ψ(Ω_Ω+ψ_1(Ω_(ω^2)))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)
|ψ(Ω_Ω+ψ_1(Ω_Ω))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(2,2)
|ψ(Ω_Ω+Ω_2)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(2,2,1)
|ψ(Ω_Ω+Ω_ω)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(2,2,1)(3,2,1)
|ψ(Ω_Ω+Ω_(ω^2))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(2,2,1)(3,2,1)(4,1)
|ψ(Ω_Ω*2)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3)
|ψ(Ω_Ω*ω)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,1)
|ψ(Ω_Ω*Ω)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2)
|ψ(Ω_Ω*Ω_2)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2)(2,2,1)
|ψ(Ω_Ω*Ω_ω)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2)(2,2,1)(3,2,1)(4,1)
|ψ(Ω_Ω^2)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2)(4,3)
|ψ(Ω_(Ω+1))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2)(4,3,1)
|ψ(Ω_(Ω+ω))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2)(4,3,1)(5,3,1)
|ψ(Ω_(Ω+ω^2))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2)(4,3,1)(5,3,1)(6,1)
|ψ(Ω_(Ω*2))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2,1)
|ψ(Ω_(Ω*ω))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2,1)(4,1)
|ψ(Ω_(Ω^2))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(4)
|ψ(Ω_(Ω^ω))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(4,1)
|ψ(Ω_(Ω^Ω))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(5,1)
|ψ(Ω_(Ω^Ω^Ω))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(5,2)
|ψ(Ω_ψ_1(Ω_2))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(5,2,1)
|ψ(Ω_ψ_1(Ω_ω))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(5,2,1)(6,2,1)(7,1)
|ψ(Ω_ψ_1(Ω_Ω))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,2)
|ψ(Ω_Ω_2)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,2)(2,2)(3,3,1)(4,3,1)(5,3)
|ψ(Ω_Ω_3)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)
|ψ(Ω_Ω_ω)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)
|ψ(Ω_Ω_ω+ψω(Ω_ω))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)
|ψ(Ω_Ω_ω+ψω(Ω_(ω^2)))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)
|ψ(Ω_Ω_ω+ψω(Ω_Ω))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(1,1,1)
|ψ(Ω_Ω_ω+ψω(Ω_Ω_ω))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(3,2)
|ψ(Ω_Ω_ω+Ω_(ω+1))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(3,2,1)
|ψ(Ω_Ω_ω+Ω_(ω2))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(3,2,1)(4,2,1)
|ψ(Ω_Ω_ω+Ω_(ω^2))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(3,2,1)(4,2,1)(5,1)
|ψ(Ω_Ω_ω+Ω_Ω)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(3,2,1)(4,2,1)(5,1)(1,1,1)
|ψ(Ω_Ω_ω*2)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4)
|ψ(Ω_Ω_ω*ω)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,1)(1,1,1)
|ψ(Ω_Ω_ω*Ω_ω)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,1)(5,2)
|ψ(Ω_Ω_ω*ψω(Ω_(ω+1)))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,1)(5,2,1)(6,2,1)(7,1)(1,1,1)
|ψ(Ω_Ω_ω*ψω(Ω_Ω_ω))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2)
|ψ(Ω_Ω_ω*Ω_(ω+1))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2)(3,2,1)
|ψ(Ω_Ω_ω*Ω_(ω2))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2)(3,2,1)(4,2,1)(5,1)(1,1,1)
|ψ(Ω_Ω_ω^2)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2)(4)
|ψ(Ω_Ω_ω^2*ω)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2)(5)
|ψ(Ω_Ω_ω^ω)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2)(5,3)
|ψ(Ω_(Ω_ω+1))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2)(5,3,1)
|ψ(Ω_(Ω_ω+ω))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2)(5,3,1)(6,3,1)(7,1)(1,1,1)
|ψ(Ω_(Ω_ω*2))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2,1)
|ψ(Ω_(Ω_ω*ω))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2,1)(5,1)(1,1,1)
|ψ(Ω_(Ω_ω^2))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(5)
|ψ(Ω_(Ω_ω^ω))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(5,1)(1,1,1)
|ψ(Ω_(Ω_ω^Ω_ω))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(6,2)
|ψ(Ω_ψω(Ω_(ω+1)))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(6,2,1)(7,2,1)(8,1)(1,1,1)
|ψ(Ω_ψω(Ω_Ω_ω))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2)
|ψ(Ω_Ω_(ω+1))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(3,2,1)
|ψ(Ω_Ω_(ω2))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(3,2,1)(4,2)(5,3,1)(6,3,1)(7,3)
|ψ(Ω_Ω_(ω2+1))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(3,2,1)(4,2)(5,3,1)(6,3,1)(7,3)(5,3,1)
|ψ(Ω_Ω_(ω3))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)
|ψ(Ω_Ω_(ω^2))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3)
|ψ(Ω_Ω_(ω^ω))
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3)(4,1,1)
|ψ(Ω_Ω_BO)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)
|ψ(Ω_Ω_Ω)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(1,1,1)
|ψ(Ω_Ω_Ω_ω)
|-
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)
|ψ(Ω_Ω_Ω_Ω)
|-
|(0)(1,1,1)(2,1,1)(3,1)(2)
|ψ(I) = Extented Buchholz's Ordinal
|}
|}
[[分类:分析]]
[[分类:分析]]

2025年8月20日 (三) 20:26的版本

本条目展示BMS强度分析的第二部分

BMS Standard(BOCF)
(0)(1,1,1) ψ(Ω_ω) = Buchholz's Ordinal
(0)(1,1,1)(0) ψ(Ω_ω)+1
(0)(1,1,1)(1) ψ(Ω_ω+1）
(0)(1,1,1)(1)(2,1) ψ(Ω_ω+SCO)
(0)(1,1,1)(1)(2,1)(3,2) ψ(Ω_ω+BHO)
(0)(1,1,1)(1)(2,1,1) ψ(Ω_ω+BO)
(0)(1,1,1)(1)(2,1,1)(2) ψ(Ω_ω+ψ(Ω_ω+1))
(0)(1,1,1)(1)(2,1,1)(2)(3,1,1) ψ(Ω_ω+ψ(Ω_ω+BO)
(0)(1,1,1)(1,1) ψ(Ω_ω+Ω)
(0)(1,1,1)(1,1)(1,1) ψ(Ω_ω+Ω*2)
(0)(1,1,1)(1,1)(2) ψ(Ω_ω+Ω*ω)
(0)(1,1,1)(1,1)(2)(3,1,1) ψ(Ω_ω+Ω*BO)
(0)(1,1,1)(1,1)(2,1) ψ(Ω_ω+Ω^2)
(0)(1,1,1)(1,1)(2,2) ψ(Ω_ω+ψ_1(Ω_2))
(0)(1,1,1)(1,1)(2,2)(3,3) ψ(Ω_ω+ψ_1(Ω_3))
(0)(1,1,1)(1,1)(2,2,1) ψ(Ω_ω+ψ_1(Ω_ω))
(0)(1,1,1)(1,1)(2,2,1)(1) ψ(Ω_ω+ψ_1(Ω_ω)+1)
(0)(1,1,1)(1,1)(2,2,1)(1,1) ψ(Ω_ω+ψ_1(Ω_ω)+Ω)
(0)(1,1,1)(1,1)(2,2,1)(1,1)(2,2) ψ(Ω_ω+ψ_1(Ω_ω)+ψ_1(Ω_2))
(0)(1,1,1)(1,1)(2,2,1)(1,1)(2,2,1) ψ(Ω_ω+ψ_1(Ω_ω)*2)
(0)(1,1,1)(1,1)(2,2,1)(2) ψ(Ω_ω+ψ_1(Ω_ω+1))
(0)(1,1,1)(1,1)(2,2,1)(2)(3,1,1) ψ(Ω_ω+ψ_1(Ω_ω+BO))
(0)(1,1,1)(1,1)(2,2,1)(2,1) ψ(Ω_ω+ψ_1(Ω_ω+Ω))
(0)(1,1,1)(1,1)(2,2,1)(2,2) ψ(Ω_ω+Ω_2)
(0)(1,1,1)(1,1)(2,2,1)(2,2)(3,3,1) ψ(Ω_ω+ψ_2(Ω_ω))
(0)(1,1,1)(1,1,1) ψ(Ω_ω*2)
(0)(1,1,1)(1,1,1)(1,1) ψ(Ω_ω*2+Ω)
(0)(1,1,1)(1,1,1)(1,1)(2,2,1)(2,2,1) ψ(Ω_ω*2+ψ_1(Ω_ω*2))
(0)(1,1,1)(1,1,1)(1,1)(2,2,1)(2,2,1)(2,2)(3,3,1)(3,3,1) ψ(Ω_ω*2+ψ_1(Ω_ω*2+ψ_2(Ω_ω*2)))
(0)(1,1,1)(1,1,1)(1,1,1) ψ(Ω_ω*3)
(0)(1,1,1)(1,1,1)(1,1,1)(1,1,1) ψ(Ω_ω*4)
(0)(1,1,1)(2) ψ(Ω_ω*ω)
(0)(1,1,1)(2)(1,1) ψ(Ω_ω*ω+Ω)
(0)(1,1,1)(2)(1,1)(2,2,1) ψ(Ω_ω*ω+ψ_1(Ω_ω))
(0)(1,1,1)(2)(1,1)(2,2,1)(3) ψ(Ω_ω*ω+ψ_1(Ω_ω*ω))
(0)(1,1,1)(2)(1,1)(2,2,1)(3)(2,2) ψ(Ω_ω*ω+ψ_1(Ω_ω*ω+ψ_2(Ω_3)))
(0)(1,1,1)(2)(1,1)(2,2,1)(3)(2,2)(3,3,1) ψ(Ω_ω*ω+ψ_1(Ω_ω*ω+ψ_2(Ω_ω)))
(0)(1,1,1)(2)(1,1,1) ψ(Ω_ω*(ω+1))
(0)(1,1,1)(2)(1,1,1)(1,1,1) ψ(Ω_ω*(ω+2))
(0)(1,1,1)(2)(1,1,1)(2) ψ(Ω_ω*(ω2))
(0)(1,1,1)(2)(2) ψ(Ω_ω*ω^2)
(0)(1,1,1)(2)(3,1) ψ(Ω_ω*SCO)
(0)(1,1,1)(2)(3,1,1) ψ(Ω_ω*BO)
(0)(1,1,1)(2,1) ψ(Ω_ω*Ω)
(0)(1,1,1)(2,1)(1) ψ(Ω_ω*Ω+1)
(0)(1,1,1)(2,1)(1,1) ψ(Ω_ω*Ω+Ω)
(0)(1,1,1)(2,1)(1,1)(1,1) ψ(Ω_ω*Ω+Ω*2)
(0)(1,1,1)(2,1)(1,1)(2,1) ψ(Ω_ω*Ω+Ω^2)
(0)(1,1,1)(2,1)(1,1)(2,2) ψ(Ω_ω*Ω+ψ_1(Ω_2))
(0)(1,1,1)(2,1)(1,1)(2,2,1) ψ(Ω_ω*Ω+ψ_1(Ω_ω))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(2) ψ(Ω_ω*Ω+ψ_1(Ω_ω+1))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(2,2) ψ(Ω_ω*Ω+ψ_1(Ω_ω+Ω_2))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(2,2)(3,3) ψ(Ω_ω*Ω+ψ_1(Ω_ω+ψ_2(Ω_3))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(2,2)(3,3,1) ψ(Ω_ω*Ω+ψ_1(Ω_ω+ψ_2(Ω_ω))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(2,2,1) ψ(Ω_ω*Ω+ψ_1(Ω_ω*2))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3) ψ(Ω_ω*Ω+ψ_1(Ω_ω*ω))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1) ψ(Ω_ω*Ω+ψ_1(Ω_ω*Ω))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2) ψ(Ω_ω*Ω+ψ_1(Ω_ω*Ω+1))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,1) ψ(Ω_ω*Ω+ψ_1(Ω_ω*Ω+Ω))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,1)(3,2,1) ψ(Ω_ω*Ω+ψ_1(Ω_ω*Ω+ψ_2(Ω_ω)))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,1)(3,2,1)(4,1) ψ(Ω_ω*Ω+ψ_1(Ω_ω*Ω+ψ_2(Ω_ω*Ω)))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2) ψ(Ω_ω*Ω+Ω_2)
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,3) ψ(Ω_ω*Ω+ψ_2(Ω_3))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,3,1) ψ(Ω_ω*Ω+ψ_2(Ω_ω))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,3,1)(3,3) ψ(Ω_ω*Ω+ψ_2(Ω_ω+Ω_3))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,3,1)(3,3,1) ψ(Ω_ω*Ω+ψ_2(Ω_ω*2))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,3,1)(4) ψ(Ω_ω*Ω+ψ_2(Ω_ω*ω))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,3,1)(4,1) ψ(Ω_ω*Ω+ψ_2(Ω_ω*Ω))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,3,1)(4,1)(3,3) ψ(Ω_ω*Ω+Ω_3)
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1) ψ(Ω_ω*(Ω+1))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(1,1) ψ(Ω_ω*(Ω+1)+Ω)
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(1,1)(2,2,1)(3,1)(2,2,1) ψ(Ω_ω*(Ω+1)+ψ_1(Ω_ω*(Ω+1)))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(2) ψ(Ω_ω*(Ω+1)+ψ_1(Ω_ω*(Ω+1)+1))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(2,1) ψ(Ω_ω*(Ω+1)+ψ_1(Ω_ω*(Ω+1)+Ω))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(2,1)(3,2,1)(4,1)(3,2,1) ψ(Ω_ω*(Ω+1)+ψ_1(Ω_ω*(Ω+1)+ψ_1(Ω_ω*(Ω+1)))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(2,2) ψ(Ω_ω*(Ω+1)+Ω_2)
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(2,2)(3,3,1)(4,1)(3,3,1) ψ(Ω_ω*(Ω+1)+Ω_3)
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(2,2,1) ψ(Ω_ω*(Ω+2))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(2,2,1)(2,2,1) ψ(Ω_ω*(Ω+3))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(3) ψ(Ω_ω*(Ω+ω))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(3,1) ψ(Ω_ω*Ω*2))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(3) ψ(Ω_ω*Ω*ω))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(3,1) ψ(Ω_ω*Ω^2))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(4) ψ(Ω_ω*Ω^ω))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(4,2) ψ(Ω_ω*ψ_1(Ω_2))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(4,2,1) ψ(Ω_ω*ψ_1(Ω_ω))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(4,2,1)(5,1) ψ(Ω_ω*ψ_1(Ω_ω*Ω))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(4,2,1)(5,1)(6,2,1) ψ(Ω_ω*ψ_1(Ω_ω*ψ_1(Ω_ω)))?
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2) ψ(Ω_ω*Ω_2)
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(1) ψ(Ω_ω*Ω_2+1)
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(1,1) ψ(Ω_ω*Ω_2+Ω)
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(1,1)(2,2,1) ψ(Ω_ω*Ω_2+ψ_1(Ω_ω))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(1,1)(2,2,1)(3,2) ψ(Ω_ω*Ω_2+ψ_1(Ω_ω*Ω_2))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2) ψ(Ω_ω*Ω_2+ψ_1(Ω_ω*Ω_2+1))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,1) ψ(Ω_ω*Ω_2+ψ_1(Ω_ω*Ω_2+Ω))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,2) ψ(Ω_ω*Ω_2+Ω_2)
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,2)(3,3,1) ψ(Ω_ω*Ω_2+ψ_2(Ω_ω))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,2)(3,3,1)(4,2) ψ(Ω_ω*Ω_2+ψ_2(Ω_ω*Ω_2))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,2)(3,3,1)(4,2)(3,3) ψ(Ω_ω*Ω_2+Ω_3)
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,2)(3,3,1)(4,2)(3,3,1) ψ(Ω_ω*(Ω_2+1))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,2)(3,3,1)(4,2)(4) ψ(Ω_ω*Ω_2*ω)
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,2)(3,3,1)(4,2)(5,3) ψ(Ω_ω*ψ_2(Ω_3))
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,2)(3,3,1)(4,3) ψ(Ω_ω*Ω_3)
(0)(1,1,1)(2,1)(1,1,1) ψ(Ω_ω^2) = the First Lifting Ordinal
(0)(1,1,1)(2,1)(1,1,1)(1,1) ψ(Ω_ω^2+Ω)
(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2) ψ(Ω_ω^2+ψ_1(Ω_2))
(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1) ψ(Ω_ω^2+ψ_1(Ω_ω))
(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)(3,2) ψ(Ω_ω^2+ψ_1(Ω_ω*Ω))
(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)(3,2)(2,2,1) ψ(Ω_ω^2+ψ_1(Ω_ω^2))
(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)(3,2)(2,2,1)(2,1)(3,2,1) ψ(Ω_ω^2+ψ_1(Ω_ω^2+ψ_1(Ω_ω)))
(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)(3,2)(2,2,1)(2,1)(3,2,1)(4,2)(3,2,1) ψ(Ω_ω^2+ψ_1(Ω_ω^2+ψ_1(Ω_ω^2)))
(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)(3,2)(2,2,1)(2,2) ψ(Ω_ω^2+Ω_2)
(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)(3,2)(2,2,1)(2,2)(3,3,1) ψ(Ω_ω^2+ψ_2(Ω_ω))
(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)(3,2)(2,2,1)(2,2)(3,3,1)(4,3)(3,3,1) ψ(Ω_ω^2+ψ_2(Ω_ω^2))
(0)(1,1,1)(2,1)(1,1,1)(1,1,1) ψ(Ω_ω^2+Ω_ω)
(0)(1,1,1)(2,1)(1,1,1)(1,1,1)(1,1,1) ψ(Ω_ω^2+Ω_ω*2)
(0)(1,1,1)(2,1)(1,1,1)(2) ψ(Ω_ω^2+Ω_ω*ω)
(0)(1,1,1)(2,1)(1,1,1)(2,1) ψ(Ω_ω^2+Ω_ω*Ω)
(0)(1,1,1)(2,1)(1,1,1)(2,1)(1,1,1) ψ(Ω_ω^2*2)
(0)(1,1,1)(2,1)(1,1,1)(2,1)(1,1,1)(2) ψ(Ω_ω^2*2+Ω_ω*ω)
(0)(1,1,1)(2,1)(1,1,1)(2,1)(1,1,1)(2,1) ψ(Ω_ω^2*2+Ω_ω*Ω)
(0)(1,1,1)(2,1)(1,1,1)(2,1)(1,1,1)(2,1)(1,1,1) ψ(Ω_ω^2*3)
(0)(1,1,1)(2,1)(2) ψ(Ω_ω^2*ω)
(0)(1,1,1)(2,1)(2,1) ψ(Ω_ω^2*Ω)
(0)(1,1,1)(2,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1) ψ(Ω_ω^2*Ω+Ω_ω)
(0)(1,1,1)(2,1)(2,1)(1,1)(2,2,1)(3,1)(3,1)(2,2,1) ψ(Ω_ω^2*(Ω+1))
(0)(1,1,1)(2,1)(2,1)(1,1)(2,2,1)(3,2)(3,2) ψ(Ω_ω^2*Ω_2)
(0)(1,1,1)(2,1)(2,1)(1,1,1) ψ(Ω_ω^3)
(0)(1,1,1)(2,1)(2,1)(2,1)(1,1,1) ψ(Ω_ω^4)
(0)(1,1,1)(2,1)(3) ψ(Ω_ω^ω)
(0)(1,1,1)(2,1)(3)(4,1,1) ψ(Ω_ω^BO)
(0)(1,1,1)(2,1)(3,1) ψ(Ω_ω^Ω)
(0)(1,1,1)(2,1)(3,1)(1,1)(2,2,1)(3,2)(4,2) ψ(Ω_ω^Ω_2)
(0)(1,1,1)(2,1)(3,1)(1,1,1) ψ(Ω_ω^Ω_ω)
(0)(1,1,1)(2,1)(3,1)(2) ψ(Ω_ω^Ω_ω*ω)
(0)(1,1,1)(2,1)(3,1)(2,1) ψ(Ω_ω^Ω_ω*Ω)
(0)(1,1,1)(2,1)(3,1)(2,1)(1,1,1) ψ(Ω_ω^(Ω_ω+1))
(0)(1,1,1)(2,1)(3,1)(2,1)(2,1)(1,1,1) ψ(Ω_ω^(Ω_ω+2))
(0)(1,1,1)(2,1)(3,1)(2,1)(3) ψ(Ω_ω^(Ω_ω+ω))
(0)(1,1,1)(2,1)(3,1)(2,1)(3,1)(1,1,1) ψ(Ω_ω^(Ω_ω*2))
(0)(1,1,1)(2,1)(3,1)(3) ψ(Ω_ω^(Ω_ω*ω))
(0)(1,1,1)(2,1)(3,1)(3,1) ψ(Ω_ω^(Ω_ω*Ω))
(0)(1,1,1)(2,1)(3,1)(3,1)(1,1,1) ψ(Ω_ω^Ω_ω^2)
(0)(1,1,1)(2,1)(3,1)(3,1)(3,1)(1,1,1) ψ(Ω_ω^Ω_ω^3)
(0)(1,1,1)(2,1)(3,1)(4) ψ(Ω_ω^Ω_ω^ω)
(0)(1,1,1)(2,1)(3,1)(4,1)(1,1,1) ψ(Ω_ω^Ω_ω^Ω_ω)
(0)(1,1,1)(2,1)(3,1)(4,1)(5,1)(1,1,1) ψ(Ω_ω^^4)
(0)(1,1,1)(2,1)(3,2) ψ(Ω_(ω+1)) = Takeuti-Feferman-Buchholz's Ordinal
(0)(1,1,1)(2,1)(3,2)(1) ψ(Ω_(ω+1)+1)
(0)(1,1,1)(2,1)(3,2)(1,1) ψ(Ω_(ω+1)+Ω)
(0)(1,1,1)(2,1)(3,2)(1,1)(2,2) ψ(Ω_(ω+1)+ψ_1(Ω_2))
(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1) ψ(Ω_(ω+1)+ψ_1(Ω_ω))
(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3) ψ(Ω_(ω+1)+ψ_1(Ω_ω+*ω))
(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,1) ψ(Ω_(ω+1)+ψ_1(Ω_ω*Ω))
(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2) ψ(Ω_(ω+1)+ψ_1(Ω_ω*Ω_2))
(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(2,2,1) ψ(Ω_(ω+1)+ψ_1(Ω_ω^2))
(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3) ψ(Ω_(ω+1)+ψ_1(Ω_(ω+1)))
(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)(2,2) ψ(Ω_(ω+1)+Ω_2)
(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)(2,2)(3,3) ψ(Ω_(ω+1)+ψ_2(Ω_2))
(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)(2,2)(3,3,1) ψ(Ω_(ω+1)+ψ_2(Ω_ω))
(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)(2,2)(3,3,1)(4,3) ψ(Ω_(ω+1)+ψ_2(Ω_ω+Ω_3))
(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)(2,2)(3,3,1)(4,3)(3,3,1) ψ(Ω_(ω+1)+ψ_2(Ω_ω^2))
(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)(2,2)(3,3,1)(4,3)(5,4) ψ(Ω_(ω+1)+ψ_2(Ω_(ω+1)))
(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)(2,2)(3,3,1)(4,3)(5,4)(3,3) ψ(Ω_(ω+1)+Ω_3)
(0)(1,1,1)(2,1)(3,2)(1,1,1) ψ(Ω_(ω+1)+Ω_ω)
(0)(1,1,1)(2,1)(3,2)(1,1,1)(2,1)(3,2) ψ(Ω_(ω+1)+ψω(Ω_(ω+1)))
(0)(1,1,1)(2,1)(3,2)(2) ψ(Ω_(ω+1)+ψω(Ω_(ω+1)+1))
(0)(1,1,1)(2,1)(3,2)(2,1) ψ(Ω_(ω+1)+ψω(Ω_(ω+1)+Ω))
(0)(1,1,1)(2,1)(3,2)(2,1)(3,2) ψ(Ω_(ω+1)+ψω(Ω_(ω+1)*2))
(0)(1,1,1)(2,1)(3,2)(3) ψ(Ω_(ω+1)+ψω(Ω_(ω+1)*ω))
(0)(1,1,1)(2,1)(3,2)(3,1) ψ(Ω_(ω+1)+ψω(Ω_(ω+1)*Ω))
(0)(1,1,1)(2,1)(3,2)(3,2) ψ(Ω_(ω+1)*2)
(0)(1,1,1)(2,1)(3,2)(4) ψ(Ω_(ω+1)*ω)
(0)(1,1,1)(2,1)(3,2)(4,1) ψ(Ω_(ω+1)*Ω)
(0)(1,1,1)(2,1)(3,2)(4,1)(1,1,1) ψ(Ω_(ω+1)*Ω_ω)
(0)(1,1,1)(2,1)(3,2)(4,1)(5,2) ψ(Ω_(ω+1)*ψω(Ω_(ω+1)*ω))
(0)(1,1,1)(2,1)(3,2)(4,2) ψ(Ω_(ω+1)^2)
(0)(1,1,1)(2,1)(3,2)(4,2)(4,2) ψ(Ω_(ω+1)^3)
(0)(1,1,1)(2,1)(3,2)(4,2)(5) ψ(Ω_(ω+1)^ω)
(0)(1,1,1)(2,1)(3,2)(4,2)(5,1) ψ(Ω_(ω+1)^Ω)
(0)(1,1,1)(2,1)(3,2)(4,2)(5,1)(1,1,1) ψ(Ω_(ω+1)^Ω_ω)
(0)(1,1,1)(2,1)(3,2)(4,2)(5,2) ψ(Ω_(ω+1)^Ω_(ω+1))
(0)(1,1,1)(2,1)(3,2)(4,2)(5,2)(6,2) ψ(Ω_(ω+1)^^3)
(0)(1,1,1)(2,1)(3,2)(4,3) ψ(Ω_(ω+2))
(0)(1,1,1)(2,1)(3,2)(4,3)(4,3) ψ(Ω_(ω+2)*2)
(0)(1,1,1)(2,1)(3,2)(4,3)(5) ψ(Ω_(ω+2)*ω)
(0)(1,1,1)(2,1)(3,2)(4,3)(5,1) ψ(Ω_(ω+2)*Ω)
(0)(1,1,1)(2,1)(3,2)(4,3)(5,1)(1,1,1) ψ(Ω_(ω+2)*Ω_ω)
(0)(1,1,1)(2,1)(3,2)(4,3)(5,2) ψ(Ω_(ω+2)*Ω_(ω+1))
(0)(1,1,1)(2,1)(3,2)(4,3)(5,3) ψ(Ω_(ω+2)^2)
(0)(1,1,1)(2,1)(3,2)(4,3)(5,3)(6,3) ψ(Ω_(ω+2)^^2)
(0)(1,1,1)(2,1)(3,2)(4,3)(5,4) ψ(Ω_(ω+3))
(0)(1,1,1)(2,1)(3,2,1) ψ(Ω_(ω2))
(0)(1,1,1)(2,1)(3,2,1)(1,1) ψ(Ω_(ω2)+Ω)
(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2) ψ(Ω_(ω2)+ψ_1(Ω_2))
(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1) ψ(Ω_(ω2)+ψ_1(Ω_ω))
(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2) ψ(Ω_(ω2)+ψ_1(Ω_ω*Ω_2))
(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(2,2,1) ψ(Ω_(ω2)+ψ_1(Ω_ω^2))
(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(3,2)(2,2,1) ψ(Ω_(ω2)+ψ_1(Ω_ω^3))
(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(4,3) ψ(Ω_(ω2)+ψ_1(Ω_(ω+1)))
(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(4,3,1) ψ(Ω_(ω2)+ψ_1(Ω_(ω2)))
(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(4,3,1)(2,2) ψ(Ω_(ω2)+Ω_2)
(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(4,3,1)(2,2)(3,3,1)(4,3) ψ(Ω_(ω2)+ψ_2(Ω_ω))
(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(4,3,1)(2,2)(3,3,1)(4,3)(5,4,1) ψ(Ω_(ω2)+ψ_2(Ω_(ω2))
(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(4,3,1)(2,2)(3,3,1)(4,3)(5,4,1)(3,3) ψ(Ω_(ω2)+Ω_3)
(0)(1,1,1)(2,1)(3,2,1)(1,1,1) ψ(Ω_(ω2)+Ω_ω)
(0)(1,1,1)(2,1)(3,2,1)(1,1,1)(1,1,1) ψ(Ω_(ω2)+Ω_ω*2)
(0)(1,1,1)(2,1)(3,2,1)(1,1,1)(2) ψ(Ω_(ω2)+Ω_ω*ω)
(0)(1,1,1)(2,1)(3,2,1)(1,1,1)(2,1) ψ(Ω_(ω2)+Ω_ω*Ω)
(0)(1,1,1)(2,1)(3,2,1)(1,1,1)(2,1)(1,1,1) ψ(Ω_(ω2)+Ω_ω^2)
(0)(1,1,1)(2,1)(3,2,1)(1,1,1)(2,1)(3,2) ψ(Ω_(ω2)+ψω(Ω_(ω+1)))
(0)(1,1,1)(2,1)(3,2,1)(1,1,1)(2,1)(3,2,1) ψ(Ω_(ω2)+ψω(Ω_(ω2)))
(0)(1,1,1)(2,1)(3,2,1)(2) ψ(Ω_(ω2)+ψω(Ω_(ω2)+1))
(0)(1,1,1)(2,1)(3,2,1)(2,1) ψ(Ω_(ω2)+ψω(Ω_(ω2)+Ω))
(0)(1,1,1)(2,1)(3,2,1)(2,1)(1,1,1) ψ(Ω_(ω2)+ψω(Ω_(ω2)+Ω_ω))
(0)(1,1,1)(2,1)(3,2,1)(2,1)(1,1,1)(2,1)(3,2,1) ψ(Ω_(ω2)+ψω(Ω_(ω2)*2))
(0)(1,1,1)(2,1)(3,2,1)(2,1)(3,2) ψ(Ω_(ω2)+ψω(Ω_(ω2)+ψω(Ω_(ω+1)))
(0)(1,1,1)(2,1)(3,2,1)(2,1)(3,2,1) ψ(Ω_(ω2)+ψω(Ω_(ω2)+ψω(Ω_(ω2)))
(0)(1,1,1)(2,1)(3,2,1)(3,1)(4,2,1) ψ(Ω_(ω2)+ψω(Ω_(ω2)+ψω(Ω_(ω2+ψω(Ω_(ω2)))))
(0)(1,1,1)(2,1)(3,2,1)(3,2) ψ(Ω_(ω2)+Ω_(ω+1))
(0)(1,1,1)(2,1)(3,2,1)(3,2)(4,2) ψ(Ω_(ω2)+Ω_(ω+1)^2)
(0)(1,1,1)(2,1)(3,2,1)(3,2)(4,2)(5,2) ψ(Ω_(ω2)+Ω_(ω+1)^Ω_(ω+1))
(0)(1,1,1)(2,1)(3,2,1)(3,2)(4,3) ψ(Ω_(ω2)+ψ_(ω+1)(Ω_(ω+2)))
(0)(1,1,1)(2,1)(3,2,1)(3,2)(4,3,1) ψ(Ω_(ω2)+ψ_(ω+1)(Ω_(ω2)))
(0)(1,1,1)(2,1)(3,2,1)(3,2)(4,3,1)(4,3) ψ(Ω_(ω2)+Ω_(ω+2))
(0)(1,1,1)(2,1)(3,2,1)(3,2,1) ψ(Ω_(ω2)*2)
(0)(1,1,1)(2,1)(3,2,1)(4) ψ(Ω_(ω2)*ω)
(0)(1,1,1)(2,1)(3,2,1)(4,1) ψ(Ω_(ω2)*Ω)
(0)(1,1,1)(2,1)(3,2,1)(4,1)(1,1,1) ψ(Ω_(ω2)*Ω_ω)
(0)(1,1,1)(2,1)(3,2,1)(4,2) ψ(Ω_(ω2)*Ω_(ω+1))
(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2) ψ(Ω_(ω2)*Ω_(ω+1)+Ω_(ω+1))
(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1) ψ(Ω_(ω2)*Ω_(ω+1)+ψ_(ω+1)(Ω_(ω2)))
(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,2) ψ(Ω_(ω2)*Ω_(ω+1)+ψ_(ω+1)(Ω_(ω2)*Ω_(ω+1)))
(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,2)(4,3) ψ(Ω_(ω2)*Ω_(ω+1)+Ω_(ω+2))
(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,2)(4,3,1) ψ(Ω_(ω2)*(Ω_(ω+1)+1))
(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,2)(4,3,1)(5,2) ψ(Ω_(ω2)*Ω_(ω+1)*2)
(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,2)(5) ψ(Ω_(ω2)*Ω_(ω+1)*ω)
(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,2)(5,2) ψ(Ω_(ω2)*Ω_(ω+1)^2)
(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,2)(6) ψ(Ω_(ω2)*Ω_(ω+1)^ω)
(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,2)(6,2) ψ(Ω_(ω2)*Ω_(ω+1)^Ω_(ω+1))
(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,2)(6,3) ψ(Ω_(ω2)*ψ_(ω+1)(Ω_(ω+2)))
(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,2)(6,3,1) ψ(Ω_(ω2)*ψ_(ω+1)(Ω_(ω2)))
(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,3) ψ(Ω_(ω2)*Ω_(ω+2))
(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2)(4,3,1)(5,3)(6,4,1)(7,4) ψ(Ω_(ω2)*Ω_(ω+3))
(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2,1) ψ(Ω_(ω2)^2)
(0)(1,1,1)(2,1)(3,2,1)(4,2)(4,2)(3,2,1) ψ(Ω_(ω2)^3)
(0)(1,1,1)(2,1)(3,2,1)(4,2)(5) ψ(Ω_(ω2)^ω)
(0)(1,1,1)(2,1)(3,2,1)(4,2)(5,2)(3,2,1) ψ(Ω_(ω2)^Ω_(ω2))
(0)(1,1,1)(2,1)(3,2,1)(4,2)(5,3) ψ(Ω_(ω2+1))
(0)(1,1,1)(2,1)(3,2,1)(4,2)(5,3)(6,4) ψ(Ω_(ω2+2))
(0)(1,1,1)(2,1)(3,2,1)(4,2)(5,3,1) ψ(Ω_(ω3))
(0)(1,1,1)(2,1)(3,2,1)(4,2)(5,3,1)(6,4)(7,5,1) ψ(Ω_(ω4))
(0)(1,1,1)(2,1,1) ψ(Ω_(ω^2))
(0)(1,1,1)(2,1,1)(1,1) ψ(Ω_(ω^2)+Ω)
(0)(1,1,1)(2,1,1)(1,1)(2,2) ψ(Ω_(ω^2)+ψ_1(Ω_2))
(0)(1,1,1)(2,1,1)(1,1)(2,2,1) ψ(Ω_(ω^2)+ψ_1(Ω_ω))
(0)(1,1,1)(2,1,1)(1,1)(2,2,1)(3,2,1) ψ(Ω_(ω^2)+ψ_1(Ω_(ω^2)))
(0)(1,1,1)(2,1,1)(1,1)(2,2,1)(3,2,1)(2,2) ψ(Ω_(ω^2)+Ω_2)
(0)(1,1,1)(2,1,1)(1,1)(2,2,1)(3,2,1)(2,2)(3,3,1)(4,3,1) ψ(Ω_(ω^2)+ψ_2(Ω_(ω^2))
(0)(1,1,1)(2,1,1)(1,1,1) ψ(Ω_(ω^2)+Ω_ω))
(0)(1,1,1)(2,1,1)(1,1,1)(2) ψ(Ω_(ω^2)+Ω_ω*ω)
(0)(1,1,1)(2,1,1)(1,1,1)(2,1) ψ(Ω_(ω^2)+Ω_ω*Ω)
(0)(1,1,1)(2,1,1)(1,1,1)(2,1)(3,1) ψ(Ω_(ω^2)+Ω_ω^2)
(0)(1,1,1)(2,1,1)(1,1,1)(2,1)(3,2) ψ(Ω_(ω^2)+ψω(Ω_(ω+1)))
(0)(1,1,1)(2,1,1)(1,1,1)(2,1)(3,2)(4,3) ψ(Ω_(ω^2)+ψω(Ω_(ω+2)))
(0)(1,1,1)(2,1,1)(1,1,1)(2,1)(3,2,1) ψ(Ω_(ω^2)+ψω(Ω_(ω2)))
(0)(1,1,1)(2,1,1)(1,1,1)(2,1)(3,2,1)(4,2,1) ψ(Ω_(ω^2)+ψω(Ω_(ω^2)))
(0)(1,1,1)(2,1,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(3,2) ψ(Ω_(ω^2)+Ω_(ω+1))
(0)(1,1,1)(2,1,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(3,2,1) ψ(Ω_(ω^2)+Ω_(ω2))
(0)(1,1,1)(2,1,1)(1,1,1)(2,1,1) ψ(Ω_(ω^2)*2)
(0)(1,1,1)(2,1,1)(1,1,1)(2,1,1)(1,1,1)(2,1,1) ψ(Ω_(ω^2)*3)
(0)(1,1,1)(2,1,1)(2) ψ(Ω_(ω^2)*ω)
(0)(1,1,1)(2,1,1)(2)(1,1,1)(2,1,1) ψ(Ω_(ω^2)*(ω+1))
(0)(1,1,1)(2,1,1)(2)(1,1,1)(2,1,1)(2) ψ(Ω_(ω^2)*(ω2))
(0)(1,1,1)(2,1,1)(2)(2) ψ(Ω_(ω^2)*ω^2)
(0)(1,1,1)(2,1,1)(2)(3) ψ(Ω_(ω^2)*ω^ω)
(0)(1,1,1)(2,1,1)(2)(3,1) ψ(Ω_(ω^2)*SCO)
(0)(1,1,1)(2,1,1)(2)(3,1,1) ψ(Ω_(ω^2)*BO)
(0)(1,1,1)(2,1,1)(2)(3,1,1)(4,1,1) ψ(Ω_(ω^2)*ψ(Ω_(ω^2)))
(0)(1,1,1)(2,1,1)(2,1) ψ(Ω_(ω^2)*Ω)
(0)(1,1,1)(2,1,1)(2,1)(1,1,1) ψ(Ω_(ω^2)*Ω_ω)
(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(1,1,1) ψ(Ω_(ω^2)*Ω_ω+Ω_ω)
(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1) ψ(Ω_(ω^2)*Ω_ω+Ω_ω*Ω)
(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(1,1,1) ψ(Ω_(ω^2)*Ω_ω+Ω_ω^2)
(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2) ψ(Ω_(ω^2)*Ω_ω+ψ_ω(Ω_(ω+1)))
(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1) ψ(Ω_(ω^2)*Ω_ω+ψ_ω(Ω_(ω^2)))
(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1) ψ(Ω_(ω^2)*Ω_ω+ψ_ω(Ω_(ω^2)*Ω))
(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(1,1,1) ψ(Ω_(ω^2)*Ω_ω+ψ_ω(Ω_(ω^2)*Ω_ω))
(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(3,2) ψ(Ω_(ω^2)*Ω_ω+Ω_(ω+1))
(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(3,2,1) ψ(Ω_(ω^2)*Ω_ω+Ω_(ω2))
(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(3,2,1)(4,2,1) ψ(Ω_(ω^2)*(Ω_ω+1))
(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(3,2,1)(4,2,1)(5,1)(1,1,1) ψ(Ω_(ω^2)*Ω_ω*2)
(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4) ψ(Ω_(ω^2)*Ω_ω*ω)
(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2,1) ψ(Ω_(ω^2)*Ω_ω^2)
(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(5) ψ(Ω_(ω^2)*Ω_ω^ω)
(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(6,2) ψ(Ω_(ω^2)*ψω(Ω_(ω+1)))
(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(6,2,1)(7,2,1) ψ(Ω_(ω^2)*ψω(Ω_(ω^2)))
(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2) ψ(Ω_(ω^2)*Ω_(ω+1))
(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(4,2,1) ψ(Ω_(ω^2)*Ω_(ω2))
(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(4,2,1)(5,2)(6,3,1)(7,3,1)(8,3) ψ(Ω_(ω^2)*Ω_(ω2+1))
(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(4,2,1)(5,2)(6,3,1)(7,3,1)(8,3)(7,3,1) ψ(Ω_(ω^2)*Ω_(ω3))
(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1,1) ψ(Ω_(ω^2)^2)
(0)(1,1,1)(2,1,1)(2,1)(2) ψ(Ω_(ω^2)^2*ω)
(0)(1,1,1)(2,1,1)(2,1)(2,1) ψ(Ω_(ω^2)^2*Ω)
(0)(1,1,1)(2,1,1)(2,1)(2,1)(1,1,1) ψ(Ω_(ω^2)^2*Ω_ω)
(0)(1,1,1)(2,1,1)(2,1)(2,1)(1,1,1)(2,1,1) ψ(Ω_(ω^2)^3)
(0)(1,1,1)(2,1,1)(2,1)(2,1)(2,1)(1,1,1)(2,1,1) ψ(Ω_(ω^2)^4)
(0)(1,1,1)(2,1,1)(2,1)(3) ψ(Ω_(ω^2)^ω)
(0)(1,1,1)(2,1,1)(2,1)(3,1) ψ(Ω_(ω^2)^Ω)
(0)(1,1,1)(2,1,1)(2,1)(3,1)(1,1,1) ψ(Ω_(ω^2)^Ω_ω)
(0)(1,1,1)(2,1,1)(2,1)(3,1)(1,1,1)(2,1,1) ψ(Ω_(ω^2)^Ω_(ω^2))
(0)(1,1,1)(2,1,1)(2,1)(3,2) ψ(Ω_(ω^2+1))
(0)(1,1,1)(2,1,1)(2,1)(3,2,1) ψ(Ω_(ω^2+ω))
(0)(1,1,1)(2,1,1)(2,1)(3,2,1)(4,2,1) ψ(Ω_(ω^2*2))
(0)(1,1,1)(2,1,1)(2,1,1) ψ(Ω_(ω^3))
(0)(1,1,1)(2,1,1)(2,1,1)(2,1,1) ψ(Ω_(ω^4))
(0)(1,1,1)(2,1,1)(3) ψ(Ω_(ω^ω))
(0)(1,1,1)(2,1,1)(3)(4,1,1) ψ(Ω_BO)
(0)(1,1,1)(2,1,1)(3,1) ψ(Ω_Ω) = Bird's Ordinal
(0)(1,1,1)(2,1,1)(3,1)(1) ψ(Ω_Ω+1)
(0)(1,1,1)(2,1,1)(3,1)(1,1) ψ(Ω_Ω+Ω)
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2) ψ(Ω_Ω+ψ_1(Ω_2))
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1) ψ(Ω_Ω+ψ_1(Ω_ω))
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1) ψ(Ω_Ω+ψ_1(Ω_(ω^2)))
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1) ψ(Ω_Ω+ψ_1(Ω_Ω))
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(2,2) ψ(Ω_Ω+Ω_2)
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(2,2,1) ψ(Ω_Ω+Ω_ω)
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(2,2,1)(3,2,1) ψ(Ω_Ω+Ω_(ω^2))
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(2,2,1)(3,2,1)(4,1) ψ(Ω_Ω*2)
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3) ψ(Ω_Ω*ω)
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,1) ψ(Ω_Ω*Ω)
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2) ψ(Ω_Ω*Ω_2)
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2)(2,2,1) ψ(Ω_Ω*Ω_ω)
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2)(2,2,1)(3,2,1)(4,1) ψ(Ω_Ω^2)
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2)(4,3) ψ(Ω_(Ω+1))
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2)(4,3,1) ψ(Ω_(Ω+ω))
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2)(4,3,1)(5,3,1) ψ(Ω_(Ω+ω^2))
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2)(4,3,1)(5,3,1)(6,1) ψ(Ω_(Ω*2))
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2,1) ψ(Ω_(Ω*ω))
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2,1)(4,1) ψ(Ω_(Ω^2))
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(4) ψ(Ω_(Ω^ω))
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(4,1) ψ(Ω_(Ω^Ω))
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(5,1) ψ(Ω_(Ω^Ω^Ω))
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(5,2) ψ(Ω_ψ_1(Ω_2))
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(5,2,1) ψ(Ω_ψ_1(Ω_ω))
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(5,2,1)(6,2,1)(7,1) ψ(Ω_ψ_1(Ω_Ω))
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,2) ψ(Ω_Ω_2)
(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,2)(2,2)(3,3,1)(4,3,1)(5,3) ψ(Ω_Ω_3)
(0)(1,1,1)(2,1,1)(3,1)(1,1,1) ψ(Ω_Ω_ω)
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1) ψ(Ω_Ω_ω+ψω(Ω_ω))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1) ψ(Ω_Ω_ω+ψω(Ω_(ω^2)))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1) ψ(Ω_Ω_ω+ψω(Ω_Ω))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(1,1,1) ψ(Ω_Ω_ω+ψω(Ω_Ω_ω))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(3,2) ψ(Ω_Ω_ω+Ω_(ω+1))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(3,2,1) ψ(Ω_Ω_ω+Ω_(ω2))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(3,2,1)(4,2,1) ψ(Ω_Ω_ω+Ω_(ω^2))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(3,2,1)(4,2,1)(5,1) ψ(Ω_Ω_ω+Ω_Ω)
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(3,2,1)(4,2,1)(5,1)(1,1,1) ψ(Ω_Ω_ω*2)
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4) ψ(Ω_Ω_ω*ω)
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,1)(1,1,1) ψ(Ω_Ω_ω*Ω_ω)
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,1)(5,2) ψ(Ω_Ω_ω*ψω(Ω_(ω+1)))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,1)(5,2,1)(6,2,1)(7,1)(1,1,1) ψ(Ω_Ω_ω*ψω(Ω_Ω_ω))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2) ψ(Ω_Ω_ω*Ω_(ω+1))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2)(3,2,1) ψ(Ω_Ω_ω*Ω_(ω2))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2)(3,2,1)(4,2,1)(5,1)(1,1,1) ψ(Ω_Ω_ω^2)
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2)(4) ψ(Ω_Ω_ω^2*ω)
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2)(5) ψ(Ω_Ω_ω^ω)
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2)(5,3) ψ(Ω_(Ω_ω+1))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2)(5,3,1) ψ(Ω_(Ω_ω+ω))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2)(5,3,1)(6,3,1)(7,1)(1,1,1) ψ(Ω_(Ω_ω*2))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2,1) ψ(Ω_(Ω_ω*ω))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2,1)(5,1)(1,1,1) ψ(Ω_(Ω_ω^2))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(5) ψ(Ω_(Ω_ω^ω))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(5,1)(1,1,1) ψ(Ω_(Ω_ω^Ω_ω))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(6,2) ψ(Ω_ψω(Ω_(ω+1)))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,1)(6,2,1)(7,2,1)(8,1)(1,1,1) ψ(Ω_ψω(Ω_Ω_ω))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2) ψ(Ω_Ω_(ω+1))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(3,2,1) ψ(Ω_Ω_(ω2))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(3,2,1)(4,2)(5,3,1)(6,3,1)(7,3) ψ(Ω_Ω_(ω2+1))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(3,2,1)(4,2)(5,3,1)(6,3,1)(7,3)(5,3,1) ψ(Ω_Ω_(ω3))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1) ψ(Ω_Ω_(ω^2))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3) ψ(Ω_Ω_(ω^ω))
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3)(4,1,1) ψ(Ω_Ω_BO)
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1) ψ(Ω_Ω_Ω)
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(1,1,1) ψ(Ω_Ω_Ω_ω)
(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1) ψ(Ω_Ω_Ω_Ω)
(0)(1,1,1)(2,1,1)(3,1)(2) ψ(I) = Extented Buchholz's Ordinal
检索自“http://wiki.googology.top/index.php?title=BMS分析Part2：BO~EBO&oldid=2178”
最后修改时间
此页面最后编辑于2025年8月20日 (星期三) 20:26。
著作权
除非另有声明，本网站内容采用知识共享署名-相同方式共享授权。
浏览数据
此页面已被访问过64次。