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

BMS分析Part1：0~BO：修订间差异

来自Googology Wiki
更多操作
←上一编辑下一编辑→
可视化wikitext
Z​（留言 | 贡献）
监督员、​管理员
617次编辑
无编辑摘要
Z​（留言 | 贡献）
监督员、​管理员
617次编辑
无编辑摘要
第2行： 第2行：
{| class="wikitable"
{| class="wikitable"
|BMS
|BMS
|Standard([[序数坍缩函数#BOCF|BOCF]])
|向上投影递归化
|-
|-
|(0)
|0
|1
|0
|-
|-
|(0)(0)
|(0)(0)
|2
|ψ(0)
|-
|(0)(0)(0)
|3
|-
|-
|(0)(1)
|(0)(1)
|ω = First Transfinte Ordinal
|ψ(1)
|-
|-
|(0)(1)(0)
|(0)(1)(0)
|ω+1
|ψ(1)+ψ(0)
|-
|(0)(1)(0)(0)
|ω+2
|-
|-
|(0)(1)(0)(1)
|(0)(1)(0)(1)
|ω2
|ψ(1)*2
|-
|(0)(1)(0)(1)(0)
|ω2+1
|-
|(0)(1)(0)(1)(0)(1)
|ω3
|-
|-
|(0)(1)(1)
|(0)(1)(1)
|ω^2
|ψ(2)
|-
|-
|(0)(1)(1)(0)
|(0)(1)(2)
|ω^2+1
|ψ(ω)
|-
|-
|(0)(1)(1)(0)(1)
|(0)(1)(2)(0)
|ω^2+ω
|ψ(ω)+ψ(0)
|-
|-
|(0)(1)(1)(0)(1)(0)
|(0)(1)(2)(0)(1)
|ω^2+ω+1
|ψ(ω)+ψ(1)
|-
|-
|(0)(1)(1)(0)(1)(0)(1)
|(0)(1)(2)(0)(1)(1)
|ω^2+ω2
|ψ(ω)+ψ(2)
|-
|(0)(1)(1)(0)(1)(1)
|ω^2*2
|-
|(0)(1)(1)(0)(1)(1)(0)(1)(1)
|ω^2*3
|-
|(0)(1)(1)(1)
|ω^3
|-
|(0)(1)(1)(1)(1)
|ω^4
|-
|(0)(1)(2)
|ω^ω = Linear Array Ordinal
|-
|(0)(1)(2)(0)
|ω^ω+1
|-
|-
|(0)(1)(2)(0)(1)(2)
|(0)(1)(2)(0)(1)(2)
|ω^ω*2
|ψ(ω)*2
|-
|-
|(0)(1)(2)(1)
|(0)(1)(2)(1)
|ω^(ω+1)
|ψ(ω+1)
|-
|-
|(0)(1)(2)(1)(1)
|(0)(1)(2)(1)(2)
|ω^(ω+2)
|ψ(ω*2)=ψ(ψ(1)*2)
|-
|-
|(0)(1)(2)(1)(2)
|(0)(1)(2)(2)
|ω^(ω2)
|ψ(ψ(2))
|-
|(0)(1)(2)(2)(1)
|ψ(ψ(2)+ψ(0))
|-
|-
|(0)(1)(2)(1)(2)(1)(2)
|(0)(1)(2)(2)(1)(2)
|ω^(ω3)
|ψ(ψ(2)+ψ(1))
|-
|-
|(0)(1)(2)(2)
|(0)(1)(2)(2)(1)(2)(2)
|ω^ω^2
|ψ(ψ(2)*2)
|-
|-
|(0)(1)(2)(2)(2)
|(0)(1)(2)(2)(2)
|ω^ω^3
|ψ(ψ(3))
|-
|-
|(0)(1)(2)(3)
|(0)(1)(2)(3)
|ω^ω^ω
|ψ(ψ(ω))
|-
|-
|(0)(1)(2)(3)(1)
|(0)(1)(2)(3)(2)
|ω^(ω^ω+1)
|ψ(ψ(ω+1))
|-
|-
|(0)(1)(2)(3)(2)
|(0)(1)(2)(3)(2)(3)
|ω^ω^(ω+1)
|ψ(ψ(ψ(1)*2))
|-
|-
|(0)(1)(2)(3)(3)
|(0)(1)(2)(3)(3)
|ω^ω^(ω^2)
|ψ(ψ(ψ(2)))
|-
|-
|(0)(1)(2)(3)(4)
|(0)(1)(2)(3)(4)
|ω^ω^ω^ω
|ψ(ψ(ψ(ω)))
|-
|(0)(1)(2)(3)(4)(5)
|ω^^5
|-
|-
|(0)(1,1)
|(0)(1,1)
|ψ(Ω) = Small Cantor's Ordinal
|ψ(Ω)=ε0
|-
|(0)(1,1)(0)
|ψ(Ω)+1
|-
|-
|(0)(1,1)(0)(1,1)
|(0)(1,1)(0)(1,1)
第114行： 第81行：
|(0)(1,1)(1)
|(0)(1,1)(1)
|ψ(Ω+1)
|ψ(Ω+1)
|-
|(0)(1,1)(1)(1)
|ψ(Ω+2)
|-
|-
|(0)(1,1)(1)(2)
|(0)(1,1)(1)(2)
|ψ(Ω+ω)
|ψ(Ω+ω)
|-
|(0)(1,1)(1)(2)(1)(2)
|ψ(Ω+ω*2)
|-
|(0)(1,1)(1)(2)(2)
|ψ(Ω+ω^2)=ψ(Ω+ψ(2))
|-
|(0)(1,1)(1)(2)(3)
|ψ(Ω+ψ(ω))
|-
|(0)(1,1)(1)(2)(3)(2)
|ψ(Ω+ψ(ω+1))
|-
|(0)(1,1)(1)(2)(3)(2)(3)
|ψ(Ω+ψ(ω*2))
|-
|(0)(1,1)(1)(2)(3)(3)
|ψ(Ω+ψ(ψ(2)))
|-
|(0)(1,1)(1)(2)(3)(4)
|ψ(Ω+ψ(ψ(ω)))
|-
|-
|(0)(1,1)(1)(2,1)
|(0)(1,1)(1)(2,1)
|ψ(Ω+ψ(Ω))
|ψ(Ω+ψ(Ω))
|-
|(0)(1,1)(1)(2,1)(0)(1,1)(1)(2,1)
|ψ(Ω+ψ(Ω))*2
|-
|-
|(0)(1,1)(1)(2,1)(1)
|(0)(1,1)(1)(2,1)(1)
|ψ(Ω+ψ(Ω)+1)
|ψ(Ω+ψ(Ω)+1)
|-
|(0)(1,1)(1)(2,1)(1)(2)
|ψ(Ω+ψ(Ω)+ω)
|-
|(0)(1,1)(1)(2,1)(1)(2,1)
|ψ(Ω+ψ(Ω)*2)
|-
|-
|(0)(1,1)(1)(2,1)(2)
|(0)(1,1)(1)(2,1)(2)
|ψ(Ω+ψ(Ω+1))
|ψ(Ω+ψ(Ω+1))
|-
|(0)(1,1)(1)(2,1)(2)(1)(2,1)(2)
|ψ(Ω+ψ(Ω+1)*2)
|-
|(0)(1,1)(1)(2,1)(2)(2)
|ψ(Ω+ψ(Ω+2))
|-
|(0)(1,1)(1)(2,1)(2)(3)
|ψ(Ω+ψ(Ω+ω))
|-
|-
|(0)(1,1)(1)(2,1)(2)(3,1)
|(0)(1,1)(1)(2,1)(2)(3,1)
第131行： 第140行：
|-
|-
|(0)(1,1)(1,1)
|(0)(1,1)(1,1)
|ψ(Ω*2)
|ψ(Ω*2)=ε1
|-
|-
|(0)(1,1)(1,1)(1)
|(0)(1,1)(1,1)(1)
|ψ(Ω*2+1)
|ψ(Ω*2+1)
|-
|(0)(1,1)(1,1)(1)(2)
|ψ(Ω*2+ω)
|-
|-
|(0)(1,1)(1,1)(1)(2,1)
|(0)(1,1)(1,1)(1)(2,1)
|ψ(Ω*2+ψ(Ω))
|ψ(Ω*2+ψ(Ω))
|-
|(0)(1,1)(1,1)(1)(2,1)(2)
|ψ(Ω*2+ψ(Ω+1))
|-
|(0)(1,1)(1,1)(1)(2,1)(2)(3,1)
|ψ(Ω*2+ψ(Ω+ψ(Ω)))
|-
|-
|(0)(1,1)(1,1)(1)(2,1)(2,1)
|(0)(1,1)(1,1)(1)(2,1)(2,1)
|ψ(Ω*2+ψ(Ω*2))
|ψ(Ω*2+ψ(Ω*2))
|-
|(0)(1,1)(1,1)(1)(2,1)(2,1)(1)(2,1)(2,1)
|ψ(Ω*2+ψ(Ω*2)*2)
|-
|-
|(0)(1,1)(1,1)(1)(2,1)(2,1)(2)
|(0)(1,1)(1,1)(1)(2,1)(2,1)(2)
|ψ(Ω*2+ψ(Ω*2+1))
|ψ(Ω*2+ψ(Ω*2+1))
|-
|(0)(1,1)(1,1)(1)(2,1)(2,1)(2)(1)(2,1)(2,1)(2)
|ψ(Ω*2+ψ(Ω*2+1)*2)
|-
|(0)(1,1)(1,1)(1)(2,1)(2,1)(2)(2)
|ψ(Ω*2+ψ(Ω*2+2))
|-
|(0)(1,1)(1,1)(1)(2,1)(2,1)(2)(3)
|ψ(Ω*2+ψ(Ω*2+ω))
|-
|(0)(1,1)(1,1)(1)(2,1)(2,1)(2)(3,1)
|ψ(Ω*2+ψ(Ω*2+ψ(Ω)))
|-
|-
|(0)(1,1)(1,1)(1)(2,1)(2,1)(2)(3,1)(3,1)
|(0)(1,1)(1,1)(1)(2,1)(2,1)(2)(3,1)(3,1)
第152行： 第179行：
|-
|-
|(0)(1,1)(1,1)(1,1)
|(0)(1,1)(1,1)(1,1)
|ψ(Ω*3)
|ψ(Ω*3)=ε2
|-
|-
|(0)(1,1)(1,1)(1,1)(1)(2,1)(2,1)(2,1)
|(0)(1,1)(1,1)(1,1)(1)(2,1)(2,1)(2,1)
第159行： 第186行：
|(0)(1,1)(1,1)(1,1)(1,1)
|(0)(1,1)(1,1)(1,1)(1,1)
|ψ(Ω*4)
|ψ(Ω*4)
|-
|(0)(1,1)(1,1)(1,1)(1,1)(1,1)
|ψ(Ω*5)
|-
|-
|(0)(1,1)(2)
|(0)(1,1)(2)
第174行： 第198行：
|(0)(1,1)(2)(1)(2,1)
|(0)(1,1)(2)(1)(2,1)
|ψ(Ω*ω+ψ(Ω))
|ψ(Ω*ω+ψ(Ω))
|-
|(0)(1,1)(2)(1)(2,1)(2,1)
|ψ(Ω*ω+ψ(Ω*2))
|-
|-
|(0)(1,1)(2)(1)(2,1)(3)
|(0)(1,1)(2)(1)(2,1)(3)
|ψ(Ω*ω+ψ(Ω*ω))
|ψ(Ω*ω+ψ(Ω*ω))
|-
|(0)(1,1)(2)(1)(2,1)(3)(1)(2,1)(3)
|ψ(Ω*ω+ψ(Ω*ω)*2)
|-
|-
|(0)(1,1)(2)(1)(2,1)(3)(2)
|(0)(1,1)(2)(1)(2,1)(3)(2)
第186行： 第210行：
|(0)(1,1)(2)(1)(2,1)(3)(2)(3,1)
|(0)(1,1)(2)(1)(2,1)(3)(2)(3,1)
|ψ(Ω*ω+ψ(Ω*ω+ψ(Ω)))
|ψ(Ω*ω+ψ(Ω*ω+ψ(Ω)))
|-
|(0)(1,1)(2)(1)(2,1)(3)(2)(3,1)(4)
|ψ(Ω*ω+ψ(Ω*ω+ψ(Ω*ω)))
|-
|-
|(0)(1,1)(2)(1,1)
|(0)(1,1)(2)(1,1)
|ψ(Ω*(ω+1))
|ψ(Ω*(ω+1))
|-
|-
|(0)(1,1)(2)(1,1)(1)
|(0)(1,1)(2)(1,1)(2)
|ψ(Ω*(ω+1)+1)
|ψ(Ω*ω*2)
|-
|-
|(0)(1,1)(2)(1,1)(1)(2,1)
|(0)(1,1)(2)(2)
|ψ(Ω*(ω+1)+ψ(Ω))
|ψ(Ω*ψ(2))
|-
|-
|(0)(1,1)(2)(1,1)(1)(2,1)(3)(2,1)
|(0)(1,1)(2)(3)
|ψ(Ω*(ω+1)+ψ(Ω*(ω+1)))
|ψ(Ω*ψ(ω))
|-
|-
|(0)(1,1)(2)(1,1)(1,1)
|(0)(1,1)(2)(3,1)
|ψ(Ω*(ω+2))
|ψ(Ω*ψ(Ω))
|-
|(0)(1,1)(2)(1,1)(1,1)(1,1)
|ψ(Ω*(ω+3))
|-
|(0)(1,1)(2)(1,1)(2)
|ψ(Ω*(ω2))
|-
|-
|(0)(1,1)(2)(1,1)(2)(1,1)
|(0)(1,1)(2)(3,1)(1,1)(2)(3,1)
|ψ(Ω*(ω2+1))
|ψ(Ω*ψ(Ω)*2)
|-
|-
|(0)(1,1)(2)(1,1)(2)(1,1)(2)
|(0)(1,1)(2)(3,1)(2)
|ψ(Ω*(ω3))
|ψ(Ω*ψ(Ω+1))
|-
|-
|(0)(1,1)(2)(2)
|(0)(1,1)(2)(3,1)(2)(3)
|ψ(Ω*ω^2)
|ψ(Ω*ψ(Ω+ω))
|-
|-
|(0)(1,1)(2)(2)(1,1)
|(0)(1,1)(2)(3,1)(2)(3,1)
|ψ(Ω*(ω^2+1))
|ψ(Ω*ψ(Ω+ψ(Ω)))
|-
|-
|(0)(1,1)(2)(2)(1,1)(2)(2)
|(0)(1,1)(2)(3,1)(2)(3,1)(2)
|ψ(Ω*ω^2*2)
|ψ(Ω*ψ(Ω+ψ(Ω)+1))
|-
|-
|(0)(1,1)(2)(2)(2)
|(0)(1,1)(2)(3,1)(2)(3,1)(2)(3,1)
|ψ(Ω*ω^3)
|ψ(Ω*ψ(Ω+ψ(Ω)*2))
|-
|-
|(0)(1,1)(2)(3)
|(0)(1,1)(2)(3,1)(3)
|ψ(Ω*ω^ω)
|ψ(Ω*ψ(Ω+ψ(Ω+1)))
|-
|-
|(0)(1,1)(2)(3)(4)
|(0)(1,1)(2)(3,1)(3)(4,1)
|ψ(Ω*ω^ω^ω)
|ψ(Ω*ψ(Ω+ψ(Ω+ψ(Ω))))
|-
|(0)(1,1)(2)(3,1)
|ψ(Ω*ψ(Ω))
|-
|-
|(0)(1,1)(2)(3,1)(3,1)
|(0)(1,1)(2)(3,1)(3,1)
第240行： 第258行：
|(0)(1,1)(2)(3,1)(4)
|(0)(1,1)(2)(3,1)(4)
|ψ(Ω*ψ(Ω*ω))
|ψ(Ω*ψ(Ω*ω))
|-
|(0)(1,1)(2)(3,1)(4)(5)
|ψ(Ω*ψ(Ω*ψ(ω)))
|-
|-
|(0)(1,1)(2)(3,1)(4)(5,1)
|(0)(1,1)(2)(3,1)(4)(5,1)
第245行： 第266行：
|-
|-
|(0)(1,1)(2,1)
|(0)(1,1)(2,1)
|ψ(Ω^2) = Cantor's Ordinal
|ψ(Ω^2)
|-
|-
|(0)(1,1)(2,1)(1)
|(0)(1,1)(2,1)(1)
第252行： 第273行：
|(0)(1,1)(2,1)(1)(2,1)
|(0)(1,1)(2,1)(1)(2,1)
|ψ(Ω^2+ψ(Ω))
|ψ(Ω^2+ψ(Ω))
|-
|(0)(1,1)(2,1)(1)(2,1)(3)
|ψ(Ω^2+ψ(Ω*ω))
|-
|-
|(0)(1,1)(2,1)(1)(2,1)(3,1)
|(0)(1,1)(2,1)(1)(2,1)(3,1)
|ψ(Ω^2+ψ(Ω^2))
|ψ(Ω^2+ψ(Ω^2))
|-
|(0)(1,1)(2,1)(1)(2,1)(3,1)(2)
|ψ(Ω^2+ψ(Ω^2+1))
|-
|(0)(1,1)(2,1)(1)(2,1)(3,1)(2)(3,1)
|ψ(Ω^2+ψ(Ω^2+ψ(Ω)))
|-
|(0)(1,1)(2,1)(1)(2,1)(3,1)(2)(3,1)(4,1)
|ψ(Ω^2+ψ(Ω^2+ψ(Ω^2)))
|-
|-
|(0)(1,1)(2,1)(1,1)
|(0)(1,1)(2,1)(1,1)
|ψ(Ω^2+Ω)
|ψ(Ω^2+Ω)
|-
|(0)(1,1)(2,1)(1,1)(1)(2,1)(3,1)
|ψ(Ω^2+Ω+ψ(Ω^2))
|-
|(0)(1,1)(2,1)(1,1)(1)(2,1)(3,1)(2,1)
|ψ(Ω^2+Ω+ψ(Ω^2+Ω))
|-
|(0)(1,1)(2,1)(1,1)(1)(2,1)(3,1)(2,1)(2)
|ψ(Ω^2+Ω+ψ(Ω^2+Ω+1))
|-
|(0)(1,1)(2,1)(1,1)(1)(2,1)(3,1)(2,1)(2)(3,1)
|ψ(Ω^2+Ω+ψ(Ω^2+Ω+ψ(Ω)))
|-
|-
|(0)(1,1)(2,1)(1,1)(1,1)
|(0)(1,1)(2,1)(1,1)(1,1)
第264行： 第309行：
|(0)(1,1)(2,1)(1,1)(2)
|(0)(1,1)(2,1)(1,1)(2)
|ψ(Ω^2+Ω*ω)
|ψ(Ω^2+Ω*ω)
|-
|(0)(1,1)(2,1)(1,1)(2)(1,1)(2)
|ψ(Ω^2+Ω*ω*2)
|-
|(0)(1,1)(2,1)(1,1)(2)(2)
|ψ(Ω^2+Ω*ψ(2))
|-
|(0)(1,1)(2,1)(1,1)(2)(3)
|ψ(Ω^2+Ω*ψ(ω))
|-
|-
|(0)(1,1)(2,1)(1,1)(2)(3,1)
|(0)(1,1)(2,1)(1,1)(2)(3,1)
|ψ(Ω^2+Ω*ψ(Ω))
|ψ(Ω^2+Ω*ψ(Ω))
|-
|(0)(1,1)(2,1)(1,1)(2)(3,1)(2)
|ψ(Ω^2+Ω*ψ(Ω+1))
|-
|(0)(1,1)(2,1)(1,1)(2)(3,1)(2)(3,1)
|ψ(Ω^2+Ω*ψ(Ω+ψ(Ω)))
|-
|(0)(1,1)(2,1)(1,1)(2)(3,1)(3)
|ψ(Ω^2+Ω*ψ(Ω+ψ(Ω+1)))
|-
|(0)(1,1)(2,1)(1,1)(2)(3,1)(3)(4,1)
|ψ(Ω^2+Ω*ψ(Ω+ψ(Ω+ψ(Ω))))
|-
|(0)(1,1)(2,1)(1,1)(2)(3,1)(3,1)
|ψ(Ω^2+Ω*ψ(Ω*2))
|-
|(0)(1,1)(2,1)(1,1)(2)(3,1)(4)
|ψ(Ω^2+Ω*ψ(Ω*ω))
|-
|(0)(1,1)(2,1)(1,1)(2)(3,1)(4)(5,1)
|ψ(Ω^2+Ω*ψ(Ω*ψ(Ω)))
|-
|(0)(1,1)(2,1)(1,1)(2)(3,1)(4)(5,1)(6)
|ψ(Ω^2+Ω*ψ(Ω*ψ(Ω*ω)))
|-
|-
|(0)(1,1)(2,1)(1,1)(2)(3,1)(4,1)
|(0)(1,1)(2,1)(1,1)(2)(3,1)(4,1)
|ψ(Ω^2+Ω*ψ(Ω^2))
|ψ(Ω^2+Ω*ψ(Ω^2))
|-
|(0)(1,1)(2,1)(1,1)(2)(3,1)(4,1)(2)
|ψ(Ω^2+Ω*ψ(Ω^2+1))
|-
|(0)(1,1)(2,1)(1,1)(2)(3,1)(4,1)(2)(3,1)(4,1)
|ψ(Ω^2+Ω*ψ(Ω^2+ψ(Ω^2)))
|-
|(0)(1,1)(2,1)(1,1)(2)(3,1)(4,1)(3)
|ψ(Ω^2+Ω*ψ(Ω^2+ψ(Ω^2+1)))
|-
|(0)(1,1)(2,1)(1,1)(2)(3,1)(4,1)(3,1)
|ψ(Ω^2+Ω*ψ(Ω^2+Ω))
|-
|(0)(1,1)(2,1)(1,1)(2)(3,1)(4,1)(3,1)(4)
|ψ(Ω^2+Ω*ψ(Ω^2+Ω*ω))
|-
|(0)(1,1)(2,1)(1,1)(2)(3,1)(4,1)(3,1)(4)(5,1)
|ψ(Ω^2+Ω*ψ(Ω^2+Ω*ψ(Ω)))
|-
|(0)(1,1)(2,1)(1,1)(2)(3,1)(4,1)(3,1)(4)(5,1)(6,1)
|ψ(Ω^2+Ω*ψ(Ω^2+Ω*ψ(Ω^2)))
|-
|-
|(0)(1,1)(2,1)(1,1)(2,1)
|(0)(1,1)(2,1)(1,1)(2,1)
|ψ(Ω^2*2)
|ψ(Ω^2*2)
|-
|(0)(1,1)(2,1)(1,1)(2,1)(1)(2,1)(3,1)(2,1)(3,1)
|ψ(Ω^2*2+ψ(Ω^2*2))
|-
|-
|(0)(1,1)(2,1)(1,1)(2,1)(1,1)
|(0)(1,1)(2,1)(1,1)(2,1)(1,1)
|ψ(Ω^2*2+Ω)
|ψ(Ω^2+Ω*2)
|-
|-
|(0)(1,1)(2,1)(1,1)(2,1)(1,1)(2)
|(0)(1,1)(2,1)(1,1)(2,1)(1,1)(2)
|ψ(Ω^2*2+Ω*ω)
|ψ(Ω^2+Ω*ω)
|-
|(0)(1,1)(2,1)(1,1)(2,1)(1,1)(2)(3,1)(4,1)
|ψ(Ω^2*2+Ω*ψ(Ω^2))
|-
|(0)(1,1)(2,1)(1,1)(2,1)(1,1)(2)(3,1)(4,1)(3,1)(4,1)
|ψ(Ω^2*2+Ω*ψ(Ω^2*2))
|-
|-
|(0)(1,1)(2,1)(1,1)(2,1)(1,1)(2,1)
|(0)(1,1)(2,1)(1,1)(2,1)(1,1)(2,1)
第285行： 第393行：
|(0)(1,1)(2,1)(2)
|(0)(1,1)(2,1)(2)
|ψ(Ω^2*ω)
|ψ(Ω^2*ω)
|-
|(0)(1,1)(2,1)(2)(1)(2,1)(3,1)(3)
|ψ(Ω^2*ω+ψ(Ω^2*ω))
|-
|-
|(0)(1,1)(2,1)(2)(1,1)
|(0)(1,1)(2,1)(2)(1,1)
第291行： 第402行：
|(0)(1,1)(2,1)(2)(1,1)(2,1)
|(0)(1,1)(2,1)(2)(1,1)(2,1)
|ψ(Ω^2*(ω+1))
|ψ(Ω^2*(ω+1))
|-
|(0)(1,1)(2,1)(2)(1,1)(2,1)(2)
|ψ(Ω^2*ω*2)
|-
|-
|(0)(1,1)(2,1)(2)(2)
|(0)(1,1)(2,1)(2)(2)
|ψ(Ω^2*ω2)
|ψ(Ω^2*ψ(2))
|-
|-
|(0)(1,1)(2,1)(2)(3)
|(0)(1,1)(2,1)(2)(3)
|ψ(Ω^2*ω^2)
|ψ(Ω^2*ψ(ω))
|-
|(0)(1,1)(2,1)(2)(3)(4)
|ψ(Ω^2*ω^ω)
|-
|-
|(0)(1,1)(2,1)(2)(3,1)
|(0)(1,1)(2,1)(2)(3,1)
第306行： 第417行：
|(0)(1,1)(2,1)(2)(3,1)(3,1)
|(0)(1,1)(2,1)(2)(3,1)(3,1)
|ψ(Ω^2*ψ(Ω*2))
|ψ(Ω^2*ψ(Ω*2))
|-
|(0)(1,1)(2,1)(2)(3,1)(4)
|ψ(Ω^2*ψ(Ω*ω))
|-
|(0)(1,1)(2,1)(2)(3,1)(4)(5,1)
|ψ(Ω^2*ψ(Ω*ψ(Ω)))
|-
|-
|(0)(1,1)(2,1)(2)(3,1)(4,1)
|(0)(1,1)(2,1)(2)(3,1)(4,1)
|ψ(Ω^2*ψ(Ω^2))
|ψ(Ω^2*ψ(Ω^2))
|-
|-
|(0)(1,1)(2,1)(2)(3,1)(4,1)(4)
|(0)(1,1)(2,1)(2)(3,1)(4,1)(1,1)(2,1)(2)(3,1)(4,1)
|ψ(Ω^2*ψ(Ω^2*ω))
|ψ(Ω^2*ψ(Ω^2)*2)
|-
|(0)(1,1)(2,1)(2)(3,1)(4,1)(2)
|ψ(Ω^2*ψ(Ω^2+1))
|-
|(0)(1,1)(2,1)(2)(3,1)(4,1)(2)(3,1)(4,1)
|ψ(Ω^2*ψ(Ω^2+ψ(Ω^2)))
|-
|-
|(0)(1,1)(2,1)(2,1)
|(0)(1,1)(2,1)(2)(3,1)(4,1)(3)
|ψ(Ω^3) = Large Cantor's Ordinal
|ψ(Ω^2*ψ(Ω^2+ψ(Ω^2+1)))
|-
|-
|(0)(1,1)(2,1)(2,1)(1)
|(0)(1,1)(2,1)(2)(3,1)(4,1)(3,1)
|ψ(Ω^3+1)
|ψ(Ω^2*ψ(Ω^2+Ω))
|-
|-
|(0)(1,1)(2,1)(2,1)(1)(2,1)
|(0)(1,1)(2,1)(2)(3,1)(4,1)(3,1)(4)
|ψ(Ω^3+ψ(Ω))
|ψ(Ω^2*ψ(Ω^2+Ω*ω))
|-
|-
|(0)(1,1)(2,1)(2,1)(1)(2,1)(3,1)(3,1)
|(0)(1,1)(2,1)(2)(3,1)(4,1)(3,1)(4)(5,1)(6,1)(5,1)
|ψ(Ω^3+ψ(Ω^3))
|ψ(Ω^2*ψ(Ω^2+Ω*ψ(Ω^2+Ω)))
|-
|-
|(0)(1,1)(2,1)(2,1)(1,1)
|(0)(1,1)(2,1)(2)(3,1)(4,1)(3,1)(4,1)
|ψ(Ω^3+Ω)
|ψ(Ω^2*ψ(Ω^2*2))
|-
|-
|(0)(1,1)(2,1)(2,1)(1,1)(1,1)
|(0)(1,1)(2,1)(2)(3,1)(4,1)(4)
|ψ(Ω^3+Ω*2)
|ψ(Ω^2*ψ(Ω^2*ω))
|-
|-
|(0)(1,1)(2,1)(2,1)(1,1)(2)
|(0)(1,1)(2,1)(2,1)
|ψ(Ω^3+Ω*ω)
|ψ(Ω^3)=η0
|-
|-
|(0)(1,1)(2,1)(2,1)(1,1)(2)(3,1)
|(0)(1,1)(2,1)(2,1)(1,1)
|ψ(Ω^3+Ω*ψ(Ω))
|ψ(Ω^3+Ω)
|-
|-
|(0)(1,1)(2,1)(2,1)(1,1)(2)(3,1)(4,1)(4,1)
|(0)(1,1)(2,1)(2,1)(1,1)(2)(3,1)(4,1)(4,1)
第342行： 第465行：
|(0)(1,1)(2,1)(2,1)(1,1)(2,1)
|(0)(1,1)(2,1)(2,1)(1,1)(2,1)
|ψ(Ω^3+Ω^2)
|ψ(Ω^3+Ω^2)
|-
|(0)(1,1)(2,1)(2,1)(1,1)(2,1)(2)
|ψ(Ω^3+Ω^2*ω)
|-
|(0)(1,1)(2,1)(2,1)(1,1)(2,1)(2)(3,1)(4,1)(4,1)
|ψ(Ω^3+Ω^2*ψ(Ω^3))
|-
|(0)(1,1)(2,1)(2,1)(1,1)(2,1)(2)(3,1)(4,1)(4,1)(3,1)(4,1)(4)
|ψ(Ω^3+Ω^2*ψ(Ω^3+Ω^2*ω))
|-
|-
|(0)(1,1)(2,1)(2,1)(1,1)(2,1)(2,1)
|(0)(1,1)(2,1)(2,1)(1,1)(2,1)(2,1)
第348行： 第480行：
|(0)(1,1)(2,1)(2,1)(2)
|(0)(1,1)(2,1)(2,1)(2)
|ψ(Ω^3*ω)
|ψ(Ω^3*ω)
|-
|(0)(1,1)(2,1)(2,1)(2)(1,1)(2,1)(2,1)
|ψ(Ω^3*(ω+1))
|-
|(0)(1,1)(2,1)(2,1)(2)(2)
|ψ(Ω^3*ω2)
|-
|(0)(1,1)(2,1)(2,1)(2)(3)
|ψ(Ω^3*ω^2)
|-
|-
|(0)(1,1)(2,1)(2,1)(2)(3,1)
|(0)(1,1)(2,1)(2,1)(2)(3,1)
第362行： 第485行：
|-
|-
|(0)(1,1)(2,1)(2,1)(2)(3,1)(4,1)(4,1)
|(0)(1,1)(2,1)(2,1)(2)(3,1)(4,1)(4,1)
|ψ(Ω^3+ψ(Ω^3))
|ψ(Ω^3*ψ(Ω^3))
|-
|-
|(0)(1,1)(2,1)(2,1)(2,1)
|(0)(1,1)(2,1)(2,1)(2,1)
|ψ(Ω^4)
|ψ(Ω^4)
|-
|(0)(1,1)(2,1)(2,1)(2,1)(1,1)
|ψ(Ω^4+Ω)
|-
|(0)(1,1)(2,1)(2,1)(2,1)(2)
|ψ(Ω^4*ω)
|-
|(0)(1,1)(2,1)(2,1)(2,1)(2,1)
|ψ(Ω^5)
|-
|-
|(0)(1,1)(2,1)(3)
|(0)(1,1)(2,1)(3)
|ψ(Ω^ω) = Hyper Cantor's Ordinal
|ψ(Ω^ω)=φ(ω,0)
|-
|-
|(0)(1,1)(2,1)(3)(1)
|(0)(1,1)(2,1)(3)(1)
|ψ(Ω^ω+1)
|ψ(Ω^ω+1)
|-
|(0)(1,1)(2,1)(3)(1)(2)
|ψ(Ω^ω+ω)
|-
|(0)(1,1)(2,1)(3)(1)(2,1)
|ψ(Ω^ω+SCO)
|-
|(0)(1,1)(2,1)(3)(1)(2,1)(3,1)
|ψ(Ω^ω+CO)
|-
|-
|(0)(1,1)(2,1)(3)(1)(2,1)(3,1)(4)
|(0)(1,1)(2,1)(3)(1)(2,1)(3,1)(4)
|ψ(Ω^ω+HCO)
|ψ(Ω^ω+ψ(Ω^ω))
|-
|-
|(0)(1,1)(2,1)(3)(1,1)
|(0)(1,1)(2,1)(3)(1,1)
|ψ(Ω^ω+Ω)
|ψ(Ω^ω+Ω)
|-
|(0)(1,1)(2,1)(3)(1,1)(1,1)
|ψ(Ω^ω+Ω*2)
|-
|(0)(1,1)(2,1)(3)(1,1)(2)
|ψ(Ω^ω+Ω*ω)
|-
|(0)(1,1)(2,1)(3)(1,1)(2)(3,1)
|ψ(Ω^ω+Ω*SCO)
|-
|-
|(0)(1,1)(2,1)(3)(1,1)(2,1)
|(0)(1,1)(2,1)(3)(1,1)(2,1)
第416行： 第512行：
|-
|-
|(0)(1,1)(2,1)(3)(2)(3,1)
|(0)(1,1)(2,1)(3)(2)(3,1)
|ψ(Ω^ω*SCO)
|ψ(Ω^ω*ψ(Ω))
|-
|(0)(1,1)(2,1)(3)(2)(3,1)(4,1)(5)
|ψ(Ω^ω*ψ(Ω^ω))
|-
|(0)(1,1)(2,1)(3)(2)(3,1)(4,1)(5)(4)
|ψ(Ω^ω*ψ(Ω^ω*ω))
|-
|-
|(0)(1,1)(2,1)(3)(2,1)
|(0)(1,1)(2,1)(3)(2,1)
|ψ(Ω^(ω+1))
|ψ(Ω^(ω+1))
|-
|(0)(1,1)(2,1)(3)(2,1)(2)
|ψ(Ω^(ω+1)*ω)
|-
|(0)(1,1)(2,1)(3)(2,1)(2,1)
|ψ(Ω^(ω+2))
|-
|-
|(0)(1,1)(2,1)(3)(2,1)(3)
|(0)(1,1)(2,1)(3)(2,1)(3)
|ψ(Ω^(ω2))
|ψ(Ω^(ω*2))
|-
|(0)(1,1)(2,1)(3)(2,1)(3)(2,1)
|ψ(Ω^(ω2+1))
|-
|-
|(0)(1,1)(2,1)(3)(3)
|(0)(1,1)(2,1)(3)(3)
|ψ(Ω^(ω3))
|ψ(Ω^ψ(2))
|-
|-
|(0)(1,1)(2,1)(3)(4)
|(0)(1,1)(2,1)(3)(4)
|ψ(Ω^ω^2)
|ψ(Ω^ψ(ω))
|-
|-
|(0)(1,1)(2,1)(3)(4,1)
|(0)(1,1)(2,1)(3)(4,1)
|ψ(Ω^SCO)
|ψ(Ω^ψ(Ω))
|-
|(0)(1,1)(2,1)(3)(4,1)(3)(4,1)
|ψ(Ω^ψ(Ω+ψ(Ω)))
|-
|(0)(1,1)(2,1)(3)(4,1)(4,1)
|ψ(Ω^ψ(Ω*2))
|-
|-
|(0)(1,1)(2,1)(3)(4,1)(5,1)
|(0)(1,1)(2,1)(3)(4,1)(5,1)
|ψ(Ω^CO)
|ψ(Ω^ψ(Ω^2))
|-
|-
|(0)(1,1)(2,1)(3)(4,1)(5,1)(6)
|(0)(1,1)(2,1)(3)(4,1)(5,1)(6)
|ψ(Ω^HCO)
|ψ(Ω^ψ(Ω^ω))
|-
|(0)(1,1)(2,1)(3)(4,1)(5,1)(6)(7,1)(8,1)
|ψ(Ω^ψ(Ω^HCO))
|-
|-
|(0)(1,1)(2,1)(3,1)
|(0)(1,1)(2,1)(3,1)
|ψ(Ω^Ω) = Feferman-Schütte Ordinal
|ψ(Ω^Ω)=Γ0
|-
|-
|(0)(1,1)(2,1)(3,1)(1)
|(0)(1,1)(2,1)(3,1)(1)
|ψ(Ω^Ω+1)
|ψ(Ω^Ω+1)
|-
|(0)(1,1)(2,1)(3,1)(1)(2)
|ψ(Ω^Ω+ω)
|-
|(0)(1,1)(2,1)(3,1)(1)(2,1)
|ψ(Ω^Ω+SCO)
|-
|(0)(1,1)(2,1)(3,1)(1)(2,1)(3,1)
|ψ(Ω^Ω+CO)
|-
|(0)(1,1)(2,1)(3,1)(1)(2,1)(3,1)(4)
|ψ(Ω^Ω+HCO)
|-
|-
|(0)(1,1)(2,1)(3,1)(1)(2,1)(3,1)(4,1)
|(0)(1,1)(2,1)(3,1)(1)(2,1)(3,1)(4,1)
|ψ(Ω^Ω+FSO)
|ψ(Ω^Ω+ψ(Ω^Ω))
|-
|-
|(0)(1,1)(2,1)(3,1)(1)(2,1)(3,1)(4,1)(2)
|(0)(1,1)(2,1)(3,1)(1)(2,1)(3,1)(4,1)(2)
|ψ(Ω^Ω+ψ(Ω^Ω+1))
|ψ(Ω^Ω+ψ(Ω^Ω+1))
|-
|(0)(1,1)(2,1)(3,1)(1)(2,1)(3,1)(4,1)(2)(3,1)
|ψ(Ω^Ω+ψ(Ω^Ω+SCO))
|-
|(0)(1,1)(2,1)(3,1)(1)(2,1)(3,1)(4,1)(2)(3,1)(4,1)
|ψ(Ω^Ω+ψ(Ω^Ω+CO))
|-
|(0)(1,1)(2,1)(3,1)(1)(2,1)(3,1)(4,1)(2)(3,1)(4,1)(5)
|ψ(Ω^Ω+ψ(Ω^Ω+HCO))
|-
|(0)(1,1)(2,1)(3,1)(1)(2,1)(3,1)(4,1)(2)(3,1)(4,1)(5,1)
|ψ(Ω^Ω+ψ(Ω^Ω+FSO))
|-
|-
|(0)(1,1)(2,1)(3,1)(1,1)
|(0)(1,1)(2,1)(3,1)(1,1)
|ψ(Ω^Ω+Ω)
|ψ(Ω^Ω+Ω)
|-
|(0)(1,1)(2,1)(3,1)(1,1)(1)
|ψ(Ω^Ω+Ω+1)
|-
|(0)(1,1)(2,1)(3,1)(1,1)(1)(2,1)
|ψ(Ω^Ω+Ω+SCO)
|-
|(0)(1,1)(2,1)(3,1)(1,1)(1)(2,1)(3,1)(4,1)
|ψ(Ω^Ω+Ω+FSO)
|-
|(0)(1,1)(2,1)(3,1)(1,1)(1,1)
|ψ(Ω^Ω+Ω*2)
|-
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2)
|(0)(1,1)(2,1)(3,1)(1,1)(2)
|ψ(Ω^Ω+Ω*ω)
|ψ(Ω^Ω+Ω*ω)
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2)(3,1)
|ψ(Ω^Ω+Ω*SCO)
|-
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2)(3,1)(4,1)(5,1)
|(0)(1,1)(2,1)(3,1)(1,1)(2)(3,1)(4,1)(5,1)
|ψ(Ω^Ω+Ω*FSO)
|ψ(Ω^Ω+Ω*ψ(Ω^Ω))
|-
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)
|ψ(Ω^Ω+Ω^2)
|ψ(Ω^Ω+Ω^2)
|-
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(1)(2,1)
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(2)(3,1)(4,1)(5,1)(3,1)(4,1)
|ψ(Ω^Ω+Ω^2+SCO)
|ψ(Ω^Ω+Ω^2*ψ(Ω^Ω+Ω^2))
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(1)(2,1)(3,1)(4,1)
|ψ(Ω^Ω+Ω^2+FSO)
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(1,1)
|ψ(Ω^Ω+Ω^2+Ω)
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(1,1)(1,1)
|ψ(Ω^Ω+Ω^2+Ω*2)
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(1,1)(2,1)
|ψ(Ω^Ω+Ω^2*2)
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(1,1)(2,1)(1,1)(2,1)
|ψ(Ω^Ω+Ω^2*3)
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(2)
|ψ(Ω^Ω+Ω^2*ω)
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(2)(3,1)
|ψ(Ω^Ω+Ω^2*SCO)
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(2)(3,1)(4,1)(5,1)
|ψ(Ω^Ω+Ω^2*FSO)
|-
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(2,1)
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(2,1)
|ψ(Ω^Ω+Ω^3)
|ψ(Ω^Ω+Ω^3)
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(2,1)(1,1)
|ψ(Ω^Ω+Ω^3+Ω)
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(2,1)(1,1)(2,1)(2,1)
|ψ(Ω^Ω+Ω^3*2)
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(2,1)(2)
|ψ(Ω^Ω+Ω^3*ω)
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(2,1)(2,1)
|ψ(Ω^Ω+Ω^4)
|-
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)
|ψ(Ω^Ω+Ω^ω)
|ψ(Ω^Ω+Ω^ω)
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(1,1)(2,1)(3)
|ψ(Ω^Ω+Ω^ω*2)
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(2)
|ψ(Ω^Ω+Ω^ω*ω)
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(2,1)
|ψ(Ω^Ω+Ω^(ω+1))
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(2,1)(3)
|ψ(Ω^Ω+Ω^(ω2))
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(3)
|ψ(Ω^Ω+Ω^ω^2)
|-
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)
|ψ(Ω^Ω+Ω^SCO)
|ψ(Ω^Ω+Ω^ψ(Ω))
|-
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)
|ψ(Ω^Ω+Ω^FSO)
|ψ(Ω^Ω+Ω^ψ(Ω^Ω))
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(2)
|ψ(Ω^Ω+Ω^FSO*ω)
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(2,1)
|ψ(Ω^Ω+Ω^(FSO+1))
|-
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(3)
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(3)
|ψ(Ω^Ω+Ω^(FSO+ω))?
|ψ(Ω^Ω+Ω^ψ(Ω^Ω+1))
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(4)
|ψ(Ω^Ω+Ω^(FSO*ω))
|-
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(4,1)
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(4,1)
|ψ(Ω^Ω+Ω^ψ(Ω^Ω+Ω))
|ψ(Ω^Ω+Ω^ψ(Ω^Ω+Ω))
|-
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(4,1)(5,1)(6)(7,1)(8,1)(9,1)
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(4,1)(5,1)(6)
|ψ(Ω^Ω+Ω^ψ(Ω^Ω+Ω^ψ(Ω^Ω)))
|ψ(Ω^Ω+Ω^ψ(Ω^Ω+Ω^ω))
|-
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(4,1)(5,1)(6)(7,1)(8,1)(9,1)(5,1)
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(4,1)(5,1)(6)(7,1)
|ψ(Ω^Ω+Ω^ψ(Ω^Ω+Ω^(ψ(Ω^Ω)+1)))?
|ψ(Ω^Ω+Ω^ψ(Ω^Ω+Ω^ψ(Ω)))
|-
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)
|ψ(Ω^Ω*2)
|ψ(Ω^Ω*2)
|-
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)(2,1)(3)
|ψ(Ω^Ω*2+Ω)
|ψ(Ω^Ω*2+Ω^ω)
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)(2,1)
|ψ(Ω^Ω*2+Ω^2)
|-
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)(2,1)(2,1)
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(4,1)(5,1)(6,1)
|ψ(Ω^Ω*2+Ω^3)
|ψ(Ω^Ω*2+Ω^ψ(Ω^Ω*2))
|-
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)
|ψ(Ω^Ω*3)
|ψ(Ω^Ω*3)
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)
|ψ(Ω^Ω*4)
|-
|-
|(0)(1,1)(2,1)(3,1)(2)
|(0)(1,1)(2,1)(3,1)(2)
|ψ(Ω^Ω*ω)
|ψ(Ω^Ω*ω)
|-
|(0)(1,1)(2,1)(3,1)(2)(3,1)
|ψ(Ω^Ω*SCO)
|-
|(0)(1,1)(2,1)(3,1)(2)(3,1)(4,1)
|ψ(Ω^Ω*CO)
|-
|-
|(0)(1,1)(2,1)(3,1)(2)(3,1)(4,1)(5,1)
|(0)(1,1)(2,1)(3,1)(2)(3,1)(4,1)(5,1)
|ψ(Ω^Ω*FSO)
|ψ(Ω^Ω*ψ(Ω^Ω))
|-
|(0)(1,1)(2,1)(3,1)(2)(3,1)(4,1)(5,1)(4)(5,1)(6,1)(7,1)
|ψ(Ω^Ω*ψ(Ω^Ω*FSO))
|-
|-
|(0)(1,1)(2,1)(3,1)(2,1)
|(0)(1,1)(2,1)(3,1)(2,1)
|ψ(Ω^(Ω+1))
|ψ(Ω^(Ω+1))
|-
|(0)(1,1)(2,1)(3,1)(2,1)(1,1)
|ψ(Ω^(Ω+1)+Ω)
|-
|-
|(0)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)
|(0)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)
|ψ(Ω^(Ω+1)+Ω^Ω)
|ψ(Ω^(Ω+1)+Ω^Ω)
|-
|(0)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)(2)
|ψ(Ω^(Ω+1)+Ω^Ω*ω)
|-
|(0)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)(2)(3,1)(4,1)(5,1)
|ψ(Ω^(Ω+1)+Ω^Ω*ψ(Ω^Ω))
|-
|(0)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)(2)(3,1)(4,1)(5,1)(4,1)
|ψ(Ω^(Ω+1)+Ω^Ω*ψ(Ω^(Ω+1)))
|-
|-
|(0)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)(2,1)
|(0)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)(2,1)
第649行： 第637行：
|ψ(Ω^(Ω+1)*ω)
|ψ(Ω^(Ω+1)*ω)
|-
|-
|(0)(1,1)(2,1)(3,1)(2,1)(2)(3,1)
|(0)(1,1)(2,1)(3,1)(2,1)(2)(3)
|ψ(Ω^(Ω+1)*SCO)
|ψ(Ω^(Ω+1)*ψ(ω))
|-
|-
|(0)(1,1)(2,1)(3,1)(2,1)(2)(3,1)(4,1)(5,1)
|(0)(1,1)(2,1)(3,1)(2,1)(2)(3,1)(4,1)(5,1)(4,1)
|ψ(Ω^(Ω+1)*FSO)
|ψ(Ω^(Ω+1)*ψ(Ω^(Ω+1)))
|-
|-
|(0)(1,1)(2,1)(3,1)(2,1)(2,1)
|(0)(1,1)(2,1)(3,1)(2,1)(2,1)
第661行： 第649行：
|ψ(Ω^(Ω+ω))
|ψ(Ω^(Ω+ω))
|-
|-
|(0)(1,1)(2,1)(3,1)(2,1)(3)(4,1)
|(0)(1,1)(2,1)(3,1)(2,1)(3)(4,1)(5,1)(6,1)(5,1)(6)
|ψ(Ω^(Ω+SCO))
|ψ(Ω^(Ω+ψ(Ω^(Ω+ω))))
|-
|-
|(0)(1,1)(2,1)(3,1)(2,1)(3,1)
|(0)(1,1)(2,1)(3,1)(2,1)(3,1)
|ψ(Ω^(Ω*2))
|ψ(Ω^(Ω*2))
|-
|(0)(1,1)(2,1)(3,1)(2,1)(3,1)(2,1)(3,1)
|ψ(Ω^(Ω*3))
|-
|-
|(0)(1,1)(2,1)(3,1)(3)
|(0)(1,1)(2,1)(3,1)(3)
|ψ(Ω^(Ω*ω))
|ψ(Ω^(Ω*ω))
|-
|-
|(0)(1,1)(2,1)(3,1)(3)(4,1)
|(0)(1,1)(2,1)(3,1)(3)(4,1)(5,1)(6,1)(6)
|ψ(Ω^(Ω*SCO))
|ψ(Ω^(Ω*ψ(Ω^(Ω*ω))))
|-
|-
|(0)(1,1)(2,1)(3,1)(3,1)
|(0)(1,1)(2,1)(3,1)(3,1)
|ψ(Ω^Ω^2) = Ackerman's Ordinal
|ψ(Ω^Ω^2)
|-
|(0)(1,1)(2,1)(3,1)(3,1)(1,1)
|ψ(Ω^Ω^2+Ω)
|-
|(0)(1,1)(2,1)(3,1)(3,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(6,1)
|ψ(Ω^Ω^2+Ω^ACO)
|-
|-
|(0)(1,1)(2,1)(3,1)(3,1)(1,1)(2,1)(3,1)
|(0)(1,1)(2,1)(3,1)(3,1)(1,1)(2,1)(3,1)
|ψ(Ω^Ω^2+Ω^Ω)
|ψ(Ω^Ω^2+Ω^Ω)
|-
|-
|(0)(1,1)(2,1)(3,1)(3,1)(1,1)(2,1)(3,1)(3)(4,1)(5,1)(6,1)(6,1)
|(0)(1,1)(2,1)(3,1)(3,1)(1,1)(2,1)(3,1)(3)
|ψ(Ω^Ω^2+Ω^(Ω*ACO))
|ψ(Ω^Ω^2+Ω^(Ω*ω))
|-
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(3)(4,1)(5,1)(6,1)(6,1)
|ψ(Ω^Ω^2+Ω^(Ω*ψ(Ω^Ω^2)))
|-
|-
|(0)(1,1)(2,1)(3,1)(3,1)(1,1)(2,1)(3,1)(3,1)
|(0)(1,1)(2,1)(3,1)(3,1)(1,1)(2,1)(3,1)(3,1)
|ψ(Ω^Ω^2*2)
|ψ(Ω^Ω^2*2)
|-
|-
|(0)(1,1)(2,1)(3,1)(3,1)(2)(3,1)(4,1)(5,1)(5,1)
|(0)(1,1)(2,1)(3,1)(3,1)(2)
|ψ(Ω^Ω^2*ACO)
|ψ(Ω^Ω^2*ω)
|-
|(0)(1,1)(2,1)(3,1)(3,1)(2)(3,1)(4,1)(5,1)(5,1)(4)
|ψ(Ω^Ω^2*ψ(Ω^Ω^2*ω))
|-
|-
|(0)(1,1)(2,1)(3,1)(3,1)(2,1)
|(0)(1,1)(2,1)(3,1)(3,1)(2,1)
|ψ(Ω^(Ω^2+1))
|ψ(Ω^(Ω^2+1))
|-
|(0)(1,1)(2,1)(3,1)(3,1)(2,1)(3)
|ψ(Ω^(Ω^2+ω))
|-
|(0)(1,1)(2,1)(3,1)(3,1)(2,1)(3)(4,1)(5,1)(6,1)(6,1)
|ψ(Ω^(Ω^2+ψ(Ω^Ω^2)))
|-
|-
|(0)(1,1)(2,1)(3,1)(3,1)(2,1)(3,1)
|(0)(1,1)(2,1)(3,1)(3,1)(2,1)(3,1)
|ψ(Ω^(Ω^2+Ω))
|ψ(Ω^(Ω^2+Ω))
|-
|-
|(0)(1,1)(2,1)(3,1)(3,1)(2,1)(3,1)(4)(5,1)(6,1)(7,1)(7,1)
|(0)(1,1)(2,1)(3,1)(3,1)(2,1)(3,1)(3)
|ψ(Ω^(Ω^2+Ω*ACO))
|ψ(Ω^(Ω^2+Ω*ω))
|-
|(0)(1,1)(2,1)(3,1)(3,1)(2,1)(3,1)(3)(4,1)(5,1)(6,1)(6,1)
|ψ(Ω^(Ω^2+Ω*ψ(Ω^Ω^2)))
|-
|-
|(0)(1,1)(2,1)(3,1)(3,1)(2,1)(3,1)(3,1)
|(0)(1,1)(2,1)(3,1)(3,1)(2,1)(3,1)(3,1)
第713行： 第707行：
|-
|-
|(0)(1,1)(2,1)(3,1)(3,1)(3)(4,1)(5,1)(6,1)(6,1)
|(0)(1,1)(2,1)(3,1)(3,1)(3)(4,1)(5,1)(6,1)(6,1)
|ψ(Ω^(Ω^2*ACO))
|ψ(Ω^(Ω^2*ψ(Ω^Ω^2)))
|-
|-
|(0)(1,1)(2,1)(3,1)(3,1)(3,1)
|(0)(1,1)(2,1)(3,1)(3,1)(3,1)
|ψ(Ω^Ω^3)
|ψ(Ω^Ω^3)
|-
|(0)(1,1)(2,1)(3,1)(3,1)(3,1)(3,1)
|ψ(Ω^Ω^4)
|-
|-
|(0)(1,1)(2,1)(3,1)(4)
|(0)(1,1)(2,1)(3,1)(4)
|ψ(Ω^Ω^ω) = Small Veblen's Ordinal
|ψ(Ω^Ω^ω)=SVO
|-
|(0)(1,1)(2,1)(3,1)(4)(1,1)
|ψ(Ω^Ω^ω+Ω)
|-
|(0)(1,1)(2,1)(3,1)(4)(1,1)(2,1)
|ψ(Ω^Ω^ω+Ω^2)
|-
|(0)(1,1)(2,1)(3,1)(4)(1,1)(2,1)(2,1)
|ψ(Ω^Ω^ω+Ω^3)
|-
|(0)(1,1)(2,1)(3,1)(4)(1,1)(2,1)(3)
|ψ(Ω^Ω^ω+Ω^ω)
|-
|(0)(1,1)(2,1)(3,1)(4)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(7)
|ψ(Ω^Ω^ω+Ω^SVO)
|-
|(0)(1,1)(2,1)(3,1)(4)(1,1)(2,1)(3,1)
|ψ(Ω^Ω^ω+Ω^Ω)
|-
|-
|(0)(1,1)(2,1)(3,1)(4)(1,1)(2,1)(3,1)(4)
|(0)(1,1)(2,1)(3,1)(4)(1,1)(2,1)(3,1)(4)
|ψ(Ω^Ω^ω*2)
|ψ(Ω^Ω^ω*2)
|-
|(0)(1,1)(2,1)(3,1)(4)(2)
|ψ(Ω^Ω^ω*ω)
|-
|-
|(0)(1,1)(2,1)(3,1)(4)(2,1)
|(0)(1,1)(2,1)(3,1)(4)(2,1)
|ψ(Ω^(Ω^ω+1))
|ψ(Ω^(Ω^ω+1))
|-
|(0)(1,1)(2,1)(3,1)(4)(2,1)(3)
|ψ(Ω^(Ω^ω+ω))
|-
|(0)(1,1)(2,1)(3,1)(4)(2,1)(3,1)
|ψ(Ω^(Ω^ω+Ω))
|-
|(0)(1,1)(2,1)(3,1)(4)(2,1)(3,1)(3)(4,1)(5,1)(6,1)(7)
|ψ(Ω^(Ω^ω+Ω*SVO))
|-
|(0)(1,1)(2,1)(3,1)(4)(2,1)(3,1)(3,1)
|ψ(Ω^(Ω^ω+Ω^2))
|-
|-
|(0)(1,1)(2,1)(3,1)(4)(2,1)(3,1)(4)
|(0)(1,1)(2,1)(3,1)(4)(2,1)(3,1)(4)
第768行： 第726行：
|(0)(1,1)(2,1)(3,1)(4)(3)
|(0)(1,1)(2,1)(3,1)(4)(3)
|ψ(Ω^(Ω^ω*ω))
|ψ(Ω^(Ω^ω*ω))
|-
|(0)(1,1)(2,1)(3,1)(4)(3)(4,1)(5,1)(6,1)(7)
|ψ(Ω^(Ω^ω*SVO))
|-
|-
|(0)(1,1)(2,1)(3,1)(4)(3,1)
|(0)(1,1)(2,1)(3,1)(4)(3,1)
|ψ(Ω^Ω^(ω+1))
|ψ(Ω^Ω^(ω+1))
|-
|(0)(1,1)(2,1)(3,1)(4)(3,1)(3,1)
|ψ(Ω^Ω^(ω+2))
|-
|(0)(1,1)(2,1)(3,1)(4)(3,1)(4)
|ψ(Ω^Ω^(ω2))
|-
|-
|(0)(1,1)(2,1)(3,1)(4)(4)
|(0)(1,1)(2,1)(3,1)(4)(4)
|ψ(Ω^Ω^ω^2)
|ψ(Ω^Ω^ψ(2))
|-
|(0)(1,1)(2,1)(3,1)(4)(5)
|ψ(Ω^Ω^ω^ω)
|-
|(0)(1,1)(2,1)(3,1)(4)(5,1)
|ψ(Ω^Ω^SCO)
|-
|(0)(1,1)(2,1)(3,1)(4)(5,1)(6,1)(7,1)
|ψ(Ω^Ω^FSO)
|-
|-
|(0)(1,1)(2,1)(3,1)(4)(5,1)(6,1)(7,1)(8)
|(0)(1,1)(2,1)(3,1)(4)(5,1)(6,1)(7,1)(8)
|ψ(Ω^Ω^SVO)
|ψ(Ω^Ω^ψ(Ω^Ω^ω))
|-
|-
|(0)(1,1)(2,1)(3,1)(4)(5,1)(6,1)(7,1)(8)(9,1)(A,1)(B,1)(C)
|(0)(1,1)(2,1)(3,1)(4,1)
|ψ(Ω^Ω^ψ(Ω^Ω^SVO))
|ψ(Ω^Ω^Ω)=LVO
|-
|-
|(0)(1,1)(2,1)(3,1)(4,1)
|(0)(1,1)(2,1)(3,1)(4,1)(1)(2,1)(3,1)(4,1)(5,1)
|ψ(Ω^Ω^Ω) = Large Veblen's Ordinal = the Tank
|ψ(Ω^Ω^Ω+ψ(Ω^Ω^Ω))
|-
|-
|(0)(1,1)(2,1)(3,1)(4,1)(1,1)
|(0)(1,1)(2,1)(3,1)(4,1)(1,1)
|ψ(Ω^Ω^Ω+Ω)
|ψ(Ω^Ω^Ω+Ω)
|-
|(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2)(3,1)(4,1)(5,1)(6,1)
|ψ(Ω^Ω^Ω+Ω*ψ(Ω^Ω^Ω))
|-
|(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)
|ψ(Ω^Ω^Ω+Ω^2)
|-
|-
|(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(7,1)
|(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(7,1)
|ψ(Ω^Ω^Ω+Ω^LVO)
|ψ(Ω^Ω^Ω+Ω^ψ(Ω^Ω^Ω))
|-
|-
|(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3,1)
|(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3,1)
|ψ(Ω^Ω^Ω+Ω^Ω)
|ψ(Ω^Ω^Ω+Ω^Ω)
|-
|-
|(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3,1)(4)
|(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3,1)(2)(3,1)(4,1)(5,1)(6,1)
|ψ(Ω^Ω^Ω+Ω^Ω^ω)
|ψ(Ω^Ω^Ω+Ω^Ω*ψ(Ω^Ω^Ω))
|-
|(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3,1)(2,1)(3,1)
|ψ(Ω^Ω^Ω+Ω^(Ω*2))
|-
|(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3,1)(3)
|ψ(Ω^Ω^Ω+Ω^(Ω*ω))
|-
|(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3,1)(3)(4,1)(5,1)(6,1)(7,1)
|ψ(Ω^Ω^Ω+Ω^(Ω*ψ(Ω^Ω^Ω)))
|-
|(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3,1)(3,1)
|ψ(Ω^Ω^Ω+Ω^Ω^2)
|-
|-
|(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3,1)(4)(5,1)(6,1)(7,1)(8,1)
|(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3,1)(4)(5,1)(6,1)(7,1)(8,1)
|ψ(Ω^Ω^Ω+Ω^Ω^LVO)
|ψ(Ω^Ω^Ω+Ω^Ω^ψ(Ω^Ω^Ω))
|-
|-
|(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3,1)(4,1)
|(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3,1)(4,1)
|ψ(Ω^Ω^Ω*2)
|ψ(Ω^Ω^Ω*2)
|-
|-
|(0)(1,1)(2,1)(3,1)(4,1)(2)
|(0)(1,1)(2,1)(3,1)(4,1)(2)(3,1)(4,1)(5,1)(6,1)
|ψ(Ω^Ω^Ω*ω)
|ψ(Ω^Ω^Ω*ψ(Ω^Ω^Ω))
|-
|-
|(0)(1,1)(2,1)(3,1)(4,1)(2,1)
|(0)(1,1)(2,1)(3,1)(4,1)(2,1)
|ψ(Ω^(Ω^Ω+1))
|ψ(Ω^(Ω^Ω+1))
|-
|(0)(1,1)(2,1)(3,1)(4,1)(2,1)(3)(4,1)(5,1)(6,1)(7,1)
|ψ(Ω^(Ω^Ω+ψ(Ω^Ω^Ω)))
|-
|(0)(1,1)(2,1)(3,1)(4,1)(2,1)(3,1)
|ψ(Ω^(Ω^Ω+Ω))
|-
|(0)(1,1)(2,1)(3,1)(4,1)(2,1)(3,1)(4)
|ψ(Ω^(Ω^Ω+Ω^ω))
|-
|(0)(1,1)(2,1)(3,1)(4,1)(2,1)(3,1)(4)(5,1)(6,1)(7,1)(8,1)
|ψ(Ω^(Ω^Ω+Ω^ψ(Ω^Ω^Ω)))
|-
|-
|(0)(1,1)(2,1)(3,1)(4,1)(2,1)(3,1)(4,1)
|(0)(1,1)(2,1)(3,1)(4,1)(2,1)(3,1)(4,1)
第831行： 第801行：
|(0)(1,1)(2,1)(3,1)(4,1)(3)
|(0)(1,1)(2,1)(3,1)(4,1)(3)
|ψ(Ω^(Ω^Ω*ω))
|ψ(Ω^(Ω^Ω*ω))
|-
|(0)(1,1)(2,1)(3,1)(4,1)(3)(4,1)(5,1)(6,1)(7,1)
|ψ(Ω^(Ω^Ω*LVO))
|-
|-
|(0)(1,1)(2,1)(3,1)(4,1)(3,1)
|(0)(1,1)(2,1)(3,1)(4,1)(3,1)
第840行： 第807行：
|(0)(1,1)(2,1)(3,1)(4,1)(3,1)(4)
|(0)(1,1)(2,1)(3,1)(4,1)(3,1)(4)
|ψ(Ω^Ω^(Ω+ω))
|ψ(Ω^Ω^(Ω+ω))
|-
|(0)(1,1)(2,1)(3,1)(4,1)(3,1)(4)(5,1)(6,1)(7,1)(8,1)
|ψ(Ω^Ω^(Ω+ψ(Ω^Ω^Ω)))
|-
|-
|(0)(1,1)(2,1)(3,1)(4,1)(3,1)(4,1)
|(0)(1,1)(2,1)(3,1)(4,1)(3,1)(4,1)
|ψ(Ω^Ω^(Ω*2))
|ψ(Ω^Ω^(Ω*2))
|-
|(0)(1,1)(2,1)(3,1)(4,1)(4)
|ψ(Ω^Ω^(Ω*ω))
|-
|-
|(0)(1,1)(2,1)(3,1)(4,1)(4,1)
|(0)(1,1)(2,1)(3,1)(4,1)(4,1)
|ψ(Ω^Ω^Ω^2)
|ψ(Ω^Ω^Ω^2)
|-
|(0)(1,1)(2,1)(3,1)(4,1)(4,1)(3,1)
|ψ(Ω^Ω^(Ω^2+1))
|-
|(0)(1,1)(2,1)(3,1)(4,1)(4,1)(3,1)(4,1)(4,1)
|ψ(Ω^Ω^(Ω^2*2))
|-
|-
|(0)(1,1)(2,1)(3,1)(4,1)(4,1)(4,1)
|(0)(1,1)(2,1)(3,1)(4,1)(4,1)(4,1)
|ψ(Ω^Ω^Ω^3)
|ψ(Ω^Ω^Ω^3)
|-
|-
|(0)(1,1)(2,1)(3,1)(4,1)(5)
|(0)(1,1)(2,1)(3,1)(4,1)(5,1)
|ψ(Ω^Ω^Ω^ω)
|ψ(Ω^Ω^Ω^Ω)
|-
|-
|(0)(1,1)(2,1)(3,1)(4,1)(5)(6,1)
|(0)(1,1)(2,1)(3,1)(4,1)(5,1)(3,1)(4,1)(5,1)
|ψ(Ω^Ω^Ω^SCO)
|ψ(Ω^Ω^(Ω^Ω*2))
|-
|-
|(0)(1,1)(2,1)(3,1)(4,1)(5)(6,1)(7,1)
|(0)(1,1)(2,1)(3,1)(4,1)(5,1)(4,1)
|ψ(Ω^Ω^Ω^FSO)
|ψ(Ω^Ω^Ω^(Ω+1))
|-
|-
|(0)(1,1)(2,1)(3,1)(4,1)(5)(6,1)(7,1)(8,1)
|(0)(1,1)(2,1)(3,1)(4,1)(5,1)(4,1)(5,1)
|ψ(Ω^Ω^Ω^LVO)
|ψ(Ω^Ω^Ω^(Ω*2))
|-
|-
|(0)(1,1)(2,1)(3,1)(4,1)(5,1)
|(0)(1,1)(2,1)(3,1)(4,1)(5,1)(5,1)
|ψ(Ω^Ω^Ω^Ω)
|ψ(Ω^Ω^Ω^Ω^2)
|-
|(0)(1,1)(2,1)(3,1)(4,1)(5,1)(6)
|ψ(Ω^Ω^Ω^Ω^ω)
|-
|-
|(0)(1,1)(2,1)(3,1)(4,1)(5,1)(6,1)
|(0)(1,1)(2,1)(3,1)(4,1)(5,1)(6,1)
|ψ(Ω^Ω^Ω^Ω^Ω)
|ψ(Ω^Ω^Ω^Ω^Ω)
|-
|(0)(1,1)(2,1)(3,1)(4,1)(5,1)(6,1)(7,1)
|ψ(Ω^^6)
|-
|-
|(0)(1,1)(2,2)
|(0)(1,1)(2,2)
|ψ(Ω_2) = Bachmann-Howard Ordinal
|ψ(Ω_2)=BHO
|-
|-
|(0)(1,1)(2,2)(1)
|(0)(1,1)(2,2)(1)
第884行： 第851行：
|-
|-
|(0)(1,1)(2,2)(1)(2,1)
|(0)(1,1)(2,2)(1)(2,1)
|ψ(Ω_2+SCO)
|ψ(Ω_2+ψ(Ω))
|-
|-
|(0)(1,1)(2,2)(1)(2,1)(3,1)
|(0)(1,1)(2,2)(1)(2,1)(3,2)
|ψ(Ω_2+CO)
|ψ(Ω_2+ψ(Ω_2))
|-
|-
|(0)(1,1)(2,2)(1)(2,1)(3,2)
|(0)(1,1)(2,2)(1)(2,1)(3,2)(2)
|ψ(Ω_2+BHO)
|ψ(Ω_2+ψ(Ω_2+1))
|-
|-
|(0)(1,1)(2,2)(1)(2,1)(3,2)(2)(3,1)(4,2)
|(0)(1,1)(2,2)(1)(2,1)(3,2)(2)(3,1)(4,2)
|ψ(Ω_2+ψ(Ω_2+BHO))
|ψ(Ω_2+ψ(Ω_2+ψ(Ω_2)))
|-
|-
|(0)(1,1)(2,2)(1,1)
|(0)(1,1)(2,2)(1,1)
|ψ(Ω_2+Ω)
|ψ(Ω_2+Ω)
|-
|(0)(1,1)(2,2)(1,1)(2)
|ψ(Ω_2+Ω*ω)
|-
|(0)(1,1)(2,2)(1,1)(2)(3,1)(4,2)
|ψ(Ω_2+Ω*ψ(Ω_2))
|-
|-
|(0)(1,1)(2,2)(1,1)(2,1)
|(0)(1,1)(2,2)(1,1)(2,1)
|ψ(Ω_2+Ω^2)
|ψ(Ω_2+Ω^2)
|-
|(0)(1,1)(2,2)(1,1)(2,1)(3)(4,1)(5,2)
|ψ(Ω_2+Ω^BHO)
|-
|(0)(1,1)(2,2)(1,1)(2,1)(3,1)
|ψ(Ω_2+Ω^Ω)
|-
|-
|(0)(1,1)(2,2)(1,1)(2,2)
|(0)(1,1)(2,2)(1,1)(2,2)
|ψ(Ω_2+ψ_1(Ω_2))
|ψ(Ω_2+ψ_1(Ω_2))
|-
|(0)(1,1)(2,2)(1,1)(2,2)(1,1)
|ψ(Ω_2+ψ_1(Ω_2)+Ω)
|-
|(0)(1,1)(2,2)(1,1)(2,2)(1,1)(2,2)
|ψ(Ω_2+ψ_1(Ω_2)*2)
|-
|-
|(0)(1,1)(2,2)(2)
|(0)(1,1)(2,2)(2)
|ψ(Ω_2+ψ_1(Ω_2+1))
|ψ(Ω_2+ψ_1(Ω_2+1))
|-
|(0)(1,1)(2,2)(2)(3,1)
|ψ(Ω_2+ψ_1(Ω_2+SCO))
|-
|-
|(0)(1,1)(2,2)(2)(3,1)(4,2)
|(0)(1,1)(2,2)(2)(3,1)(4,2)
|ψ(Ω_2+ψ_1(Ω_2+BHO))
|ψ(Ω_2+ψ_1(Ω_2+ψ(Ω_2)))
|-
|-
|(0)(1,1)(2,2)(2,1)
|(0)(1,1)(2,2)(2,1)
|ψ(Ω_2+ψ_1(Ω_2+Ω))
|ψ(Ω_2+ψ_1(Ω_2+Ω))
|-
|-
|(0)(1,1)(2,2)(2,1)(3)(4,1)(5,2)(4,1)(5,2)
|(0)(1,1)(2,2)(2,1)(1,1)(2,2)
|ψ(Ω_2+ψ_1(Ω_2+Ω^ψ(Ω_2+ψ_1(Ω_2)))
|ψ(Ω_2+ψ_1(Ω_2+Ω)+ψ_1(Ω_2))
|-
|(0)(1,1)(2,2)(2,1)(1,1)(2,2)(2)(3,1)(4,2)(4,1)
|ψ(Ω_2+ψ_1(Ω_2+Ω)+ψ_1(Ω_2+ψ(Ω_2+ψ_1(Ω_2+Ω))))
|-
|(0)(1,1)(2,2)(2,1)(1,1)(2,2)(2,1)
|ψ(Ω_2+ψ_1(Ω_2+Ω)*2)
|-
|(0)(1,1)(2,2)(2,1)(2)
|ψ(Ω_2+ψ_1(Ω_2+Ω+1))
|-
|(0)(1,1)(2,2)(2,1)(2,1)
|ψ(Ω_2+ψ_1(Ω_2+Ω*2))
|-
|(0)(1,1)(2,2)(2,1)(3)
|ψ(Ω_2+ψ_1(Ω_2+Ω*ω))
|-
|(0)(1,1)(2,2)(2,1)(3)(4,1)(5,2)
|ψ(Ω_2+ψ_1(Ω_2+Ω*ψ(Ω_2)))
|-
|-
|(0)(1,1)(2,2)(2,1)(3,1)
|(0)(1,1)(2,2)(2,1)(3,1)
|ψ(Ω_2+ψ_1(Ω_2+Ω^Ω))
|ψ(Ω_2+ψ_1(Ω_2+Ω^2))
|-
|-
|(0)(1,1)(2,2)(2,1)(3,2)
|(0)(1,1)(2,2)(2,1)(3,2)
|ψ(Ω_2+ψ_1(Ω_2+ψ_1(Ω_2)))
|ψ(Ω_2+ψ_1(Ω_2+ψ_1(Ω_2)))
|-
|(0)(1,1)(2,2)(2,1)(3,2)(1)
|ψ(Ω_2+ψ_1(Ω_2+ψ_1(Ω_2))+1)
|-
|(0)(1,1)(2,2)(2,1)(3,2)(2)
|ψ(Ω_2+ψ_1(Ω_2+ψ_1(Ω_2)+1))
|-
|-
|(0)(1,1)(2,2)(2,1)(3,2)(3)
|(0)(1,1)(2,2)(2,1)(3,2)(3)
|ψ(Ω_2+ψ_1(Ω_2+ψ_1(Ω_2+1)))
|ψ(Ω_2+ψ_1(Ω_2+ψ_1(Ω_2+1)))
|-
|(0)(1,1)(2,2)(2,1)(3,2)(3,1)
|ψ(Ω_2+ψ_1(Ω_2+ψ_1(Ω_2+Ω)))
|-
|-
|(0)(1,1)(2,2)(2,1)(3,2)(3,1)(4,2)
|(0)(1,1)(2,2)(2,1)(3,2)(3,1)(4,2)
第963行： 第936行：
|(0)(1,1)(2,2)(2,2)(2,1)
|(0)(1,1)(2,2)(2,2)(2,1)
|ψ(Ω_2*2+ψ_1(Ω_2*2+Ω))
|ψ(Ω_2*2+ψ_1(Ω_2*2+Ω))
|-
|(0)(1,1)(2,2)(2,2)(2,1)(3,2)(3,2)
|ψ(Ω_2*2+ψ_1(Ω_2*2+ψ_1(Ω_2*2)))
|-
|-
|(0)(1,1)(2,2)(2,2)(2,2)
|(0)(1,1)(2,2)(2,2)(2,2)
第969行： 第945行：
|(0)(1,1)(2,2)(3)
|(0)(1,1)(2,2)(3)
|ψ(Ω_2*ω)
|ψ(Ω_2*ω)
|-
|(0)(1,1)(2,2)(3)(2,2)(3)
|ψ(Ω_2*ω*2)
|-
|(0)(1,1)(2,2)(3)(4,1)
|ψ(Ω_2*ψ(Ω))
|-
|(0)(1,1)(2,2)(3)(4,1)(5,2)
|ψ(Ω_2*ψ(Ω_2))
|-
|-
|(0)(1,1)(2,2)(3,1)
|(0)(1,1)(2,2)(3,1)
|ψ(Ω_2*Ω)
|ψ(Ω_2*Ω)
|-
|(0)(1,1)(2,2)(3,1)(2,2)(3,1)
|ψ(Ω_2*Ω*2)
|-
|(0)(1,1)(2,2)(3,1)(3,1)
|ψ(Ω_2*Ω^2)
|-
|-
|(0)(1,1)(2,2)(3,1)(4,2)
|(0)(1,1)(2,2)(3,1)(4,2)
|ψ(Ω_2*ψ_1(Ω_2))
|ψ(Ω_2*ψ_1(Ω_2))
|-
|(0)(1,1)(2,2)(3,1)(4,2)(5)
|ψ(Ω_2*ψ_1(Ω_2*ω))
|-
|(0)(1,1)(2,2)(3,1)(4,2)(5,1)
|ψ(Ω_2*ψ_1(Ω_2*Ω))
|-
|-
|(0)(1,1)(2,2)(3,2)
|(0)(1,1)(2,2)(3,2)
|ψ(Ω_2^2)
|ψ(Ω_2^2)=ψ(ζ(Ω+1))
|-
|(0)(1,1)(2,2)(3,2)(1,1)(2,2)
|ψ(Ω_2^2+ψ_1(Ω_2))
|-
|(0)(1,1)(2,2)(3,2)(1,1)(2,2)(3,2)
|ψ(Ω_2^2+ψ_1(Ω_2^2))
|-
|(0)(1,1)(2,2)(3,2)(2)
|ψ(Ω_2^2+ψ_1(Ω_2^2+1))
|-
|(0)(1,1)(2,2)(3,2)(2)(3,1)(4,2)(5,2)
|ψ(Ω_2^2+ψ_1(Ω_2^2+ψ(Ω_2^2)))
|-
|(0)(1,1)(2,2)(3,2)(2,1)
|ψ(Ω_2^2+ψ_1(Ω_2^2+Ω))
|-
|(0)(1,1)(2,2)(3,2)(2,1)(1,1)(2,2)(3,2)(2)(3,1)(4,2)(5,2)(4,1)
|ψ(Ω_2^2+ψ_1(Ω_2^2+Ω)+ψ_1(Ω_2^2+ψ(Ω_2^2+ψ_1(Ω_2^2+Ω))))
|-
|(0)(1,1)(2,2)(3,2)(2,1)(2)
|ψ(Ω_2^2+ψ_1(Ω_2^2+Ω+1))
|-
|(0)(1,1)(2,2)(3,2)(2,1)(2,1)
|ψ(Ω_2^2+ψ_1(Ω_2^2+Ω*2))
|-
|(0)(1,1)(2,2)(3,2)(2,1)(3,2)
|ψ(Ω_2^2+ψ_1(Ω_2^2+ψ_1(Ω_2)))
|-
|(0)(1,1)(2,2)(3,2)(2,1)(3,2)(4,2)
|ψ(Ω_2^2+ψ_1(Ω_2^2+ψ_1(Ω_2^2)))
|-
|-
|(0)(1,1)(2,2)(3,2)(2,2)
|(0)(1,1)(2,2)(3,2)(2,2)
|ψ(Ω_2^2+Ω_2)
|ψ(Ω_2^2+Ω_2)
|-
|(0)(1,1)(2,2)(3,2)(2,2)(3)
|ψ(Ω_2^2+Ω_2*ω)
|-
|-
|(0)(1,1)(2,2)(3,2)(2,2)(3,1)
|(0)(1,1)(2,2)(3,2)(2,2)(3,1)
第993行： 第1,023行：
|(0)(1,1)(2,2)(3,2)(3)
|(0)(1,1)(2,2)(3,2)(3)
|ψ(Ω_2^2*ω)
|ψ(Ω_2^2*ω)
|-
|(0)(1,1)(2,2)(3,2)(3)(4,1)(5,2)(6,2)
|ψ(Ω_2^2*ψ(Ω_2^2))
|-
|-
|(0)(1,1)(2,2)(3,2)(3,1)
|(0)(1,1)(2,2)(3,2)(3,1)
|ψ(Ω_2^2*Ω)
|ψ(Ω_2^2*Ω)
|-
|(0)(1,1)(2,2)(3,2)(3,1)(4,2)
|ψ(Ω_2^2*ψ_1(Ω_2))
|-
|-
|(0)(1,1)(2,2)(3,2)(3,2)
|(0)(1,1)(2,2)(3,2)(3,2)
第1,002行： 第1,038行：
|(0)(1,1)(2,2)(3,2)(4)
|(0)(1,1)(2,2)(3,2)(4)
|ψ(Ω_2^ω)
|ψ(Ω_2^ω)
|-
|(0)(1,1)(2,2)(3,2)(4)(1,1)(2,2)(3,2)(4)
|ψ(Ω_2^ω+ψ_1(Ω_2^ω))
|-
|(0)(1,1)(2,2)(3,2)(4)(2)
|ψ(Ω_2^ω+ψ_1(Ω_2^ω+1))
|-
|(0)(1,1)(2,2)(3,2)(4)(2,1)
|ψ(Ω_2^ω+ψ_1(Ω_2^ω+Ω))
|-
|(0)(1,1)(2,2)(3,2)(4)(2,1)(3,2)(4,2)(5)
|ψ(Ω_2^ω+ψ_1(Ω_2^ω+ψ_1(Ω_2^ω)))
|-
|(0)(1,1)(2,2)(3,2)(4)(2,2)
|ψ(Ω_2^ω+Ω_2)
|-
|(0)(1,1)(2,2)(3,2)(4)(2,2)(3,1)
|ψ(Ω_2^ω+Ω_2*Ω)
|-
|(0)(1,1)(2,2)(3,2)(4)(2,2)(3,2)(4)
|ψ(Ω_2^ω*2)
|-
|(0)(1,1)(2,2)(3,2)(4)(3,1)
|ψ(Ω_2^ω*Ω)
|-
|(0)(1,1)(2,2)(3,2)(4)(3,2)
|ψ(Ω_2^(ω+1))
|-
|(0)(1,1)(2,2)(3,2)(4)(4)
|ψ(Ω_2^ψ(2))
|-
|-
|(0)(1,1)(2,2)(3,2)(4,1)
|(0)(1,1)(2,2)(3,2)(4,1)
|ψ(Ω_2^Ω)
|ψ(Ω_2^Ω)
|-
|(0)(1,1)(2,2)(3,2)(4,1)(5,2)
|ψ(Ω_2^ψ_1(Ω_2))
|-
|(0)(1,1)(2,2)(3,2)(4,1)(5,2)(6,2)
|ψ(Ω_2^ψ_1(Ω_2^2))
|-
|-
|(0)(1,1)(2,2)(3,2)(4,2)
|(0)(1,1)(2,2)(3,2)(4,2)
|ψ(Ω_2^Ω_2)
|ψ(Ω_2^Ω_2)
|-
|(0)(1,1)(2,2)(3,2)(4,2)(2,2)
|ψ(Ω_2^Ω_2+Ω_2)
|-
|(0)(1,1)(2,2)(3,2)(4,2)(2,2)(3,2)
|ψ(Ω_2^Ω_2+Ω_2^2)
|-
|-
|(0)(1,1)(2,2)(3,2)(4,2)(2,2)(3,2)(4,1)(5,2)(6,2)(7,2)
|(0)(1,1)(2,2)(3,2)(4,2)(2,2)(3,2)(4,1)(5,2)(6,2)(7,2)
第1,020行： 第1,086行：
|(0)(1,1)(2,2)(3,2)(4,2)(2,2)(3,2)(4,2)
|(0)(1,1)(2,2)(3,2)(4,2)(2,2)(3,2)(4,2)
|ψ(Ω_2^Ω_2*2)
|ψ(Ω_2^Ω_2*2)
|-
|(0)(1,1)(2,2)(3,2)(4,2)(3)
|ψ(Ω_2^Ω_2*ω)
|-
|-
|(0)(1,1)(2,2)(3,2)(4,2)(3,1)
|(0)(1,1)(2,2)(3,2)(4,2)(3,1)
第1,029行： 第1,092行：
|(0)(1,1)(2,2)(3,2)(4,2)(3,2)
|(0)(1,1)(2,2)(3,2)(4,2)(3,2)
|ψ(Ω_2^(Ω_2+1))
|ψ(Ω_2^(Ω_2+1))
|-
|(0)(1,1)(2,2)(3,2)(4,2)(3,2)(4,1)
|ψ(Ω_2^(Ω_2+Ω))
|-
|-
|(0)(1,1)(2,2)(3,2)(4,2)(3,2)(4,2)
|(0)(1,1)(2,2)(3,2)(4,2)(3,2)(4,2)
|ψ(Ω_2^(Ω_2*2))
|ψ(Ω_2^(Ω_2*2))
|-
|(0)(1,1)(2,2)(3,2)(4,2)(4)
|ψ(Ω_2^(Ω_2*ω))
|-
|-
|(0)(1,1)(2,2)(3,2)(4,2)(4,1)
|(0)(1,1)(2,2)(3,2)(4,2)(4,1)
第1,041行： 第1,104行：
|(0)(1,1)(2,2)(3,2)(4,2)(4,2)
|(0)(1,1)(2,2)(3,2)(4,2)(4,2)
|ψ(Ω_2^Ω_2^2)
|ψ(Ω_2^Ω_2^2)
|-
|(0)(1,1)(2,2)(3,2)(4,2)(4,2)(4,2)
|ψ(Ω_2^Ω_2^3)
|-
|-
|(0)(1,1)(2,2)(3,2)(4,2)(5)
|(0)(1,1)(2,2)(3,2)(4,2)(5)
|ψ(Ω_2^Ω_2^ω)
|ψ(Ω_2^Ω_2^ω)
|-
|(0)(1,1)(2,2)(3,2)(4,2)(5,1)
|ψ(Ω_2^Ω_2^Ω)
|-
|-
|(0)(1,1)(2,2)(3,2)(4,2)(5,2)
|(0)(1,1)(2,2)(3,2)(4,2)(5,2)
|ψ(Ω_2^^3)
|ψ(Ω_2^Ω_2^Ω_2)
|-
|(0)(1,1)(2,2)(3,2)(4,2)(5,2)(6,2)
|ψ(Ω_2^^4)
|-
|-
|(0)(1,1)(2,2)(3,3)
|(0)(1,1)(2,2)(3,3)
|ψ(Ω_3)
|ψ(Ω_3)=ψ(ε(Ω_2+1))
|-
|-
|(0)(1,1)(2,2)(3,3)(1,1)
|(0)(1,1)(2,2)(3,3)(1,1)
|ψ(Ω_3+Ω)
|ψ(Ω_3+Ω)
|-
|-
|(0)(1,1)(2,2)(3,3)(1,1)(2,1)(3,1)
|(0)(1,1)(2,2)(3,3)(1,1)(2,2)(3,3)
|ψ(Ω_3+Ω^Ω)
|ψ(Ω_3+ψ_1(Ω_3))
|-
|-
|(0)(1,1)(2,2)(3,3)(1,1)(2,2)
|(0)(1,1)(2,2)(3,3)(2,1)
|ψ(Ω_3+ψ_1(Ω_2))
|ψ(Ω_3+ψ_1(Ω_3+Ω))
|-
|(0)(1,1)(2,2)(3,3)(2,1)(3,2)(4,3)
|ψ(Ω_3+ψ_1(Ω_3))
|-
|-
|(0)(1,1)(2,2)(3,3)(2,2)
|(0)(1,1)(2,2)(3,3)(2,2)
|ψ(Ω_3+Ω_2)
|ψ(Ω_3+Ω_2)
|-
|(0)(1,1)(2,2)(3,3)(2,2)(3,2)
|ψ(Ω_3+Ω_2^2)
|-
|-
|(0)(1,1)(2,2)(3,3)(2,2)(3,3)
|(0)(1,1)(2,2)(3,3)(2,2)(3,3)
第1,083行： 第1,131行：
|(0)(1,1)(2,2)(3,3)(3)
|(0)(1,1)(2,2)(3,3)(3)
|ψ(Ω_3+ψ_2(Ω_3+1))
|ψ(Ω_3+ψ_2(Ω_3+1))
|-
|(0)(1,1)(2,2)(3,3)(3,1)
|ψ(Ω_3+ψ_2(Ω_3+Ω))
|-
|(0)(1,1)(2,2)(3,3)(3,1)(4,2)(5,3)
|ψ(Ω_3+ψ_2(Ω_3+ψ_1(Ω_3)))
|-
|(0)(1,1)(2,2)(3,3)(3,2)
|ψ(Ω_3+ψ_2(Ω_3+Ω_2))
|-
|-
|(0)(1,1)(2,2)(3,3)(3,2)(4,3)
|(0)(1,1)(2,2)(3,3)(3,2)(4,3)
第1,099行： 第1,138行：
|ψ(Ω_3*2)
|ψ(Ω_3*2)
|-
|-
|(0)(1,1)(2,2)(3,3)(4)
|(0)(1,1)(2,2)(3,3)(4,2)
|ψ(Ω_3*ω)
|ψ(Ω_3*Ω_2)
|-
|(0)(1,1)(2,2)(3,3)(4,2)(5,3)
|ψ(Ω_3*ψ_2(Ω_3))
|-
|-
|(0)(1,1)(2,2)(3,3)(4,3)
|(0)(1,1)(2,2)(3,3)(4,3)
|ψ(Ω_3^2)
|ψ(Ω_3^2)
|-
|(0)(1,1)(2,2)(3,3)(4,3)(3,3)(4,2)(5,3)(6,3)
|ψ(Ω_3^2+Ω_3*ψ_2(Ω_3^2))
|-
|(0)(1,1)(2,2)(3,3)(4,3)(3,3)(4,3)
|ψ(Ω_3^2*2)
|-
|-
|(0)(1,1)(2,2)(3,3)(4,3)(4,3)
|(0)(1,1)(2,2)(3,3)(4,3)(4,3)
|ψ(Ω_3^3)
|ψ(Ω_3^3)
|-
|(0)(1,1)(2,2)(3,3)(4,3)(5)
|ψ(Ω_3^ω)
|-
|-
|(0)(1,1)(2,2)(3,3)(4,3)(5,3)
|(0)(1,1)(2,2)(3,3)(4,3)(5,3)
|ψ(Ω_3^Ω_3)
|ψ(Ω_3^Ω_3)
|-
|(0)(1,1)(2,2)(3,3)(4,3)(5,3)(3,3)(4,3)(5,2)(6,3)(7,3)(8,3)
|ψ(Ω_3^Ω_3+Ω_3^ψ_2(Ω_3^Ω_3))
|-
|(0)(1,1)(2,2)(3,3)(4,3)(5,3)(3,3)(4,3)(5,3)
|ψ(Ω_3^Ω_3*2)
|-
|(0)(1,1)(2,2)(3,3)(4,3)(5,3)(4,3)
|ψ(Ω_3^(Ω_3+1))
|-
|(0)(1,1)(2,2)(3,3)(4,3)(5,3)(5,3)
|ψ(Ω_3^Ω_3^2)
|-
|(0)(1,1)(2,2)(3,3)(4,3)(5,3)(6,3)
|ψ(Ω_3^^3)
|-
|-
|(0)(1,1)(2,2)(3,3)(4,4)
|(0)(1,1)(2,2)(3,3)(4,4)
|ψ(Ω_4)
|ψ(Ω_4)
|-
|(0)(1,1)(2,2)(3,3)(4,4)(5,5)
|ψ(Ω_5)
|-
|(0)(1,1)(2,2)(3,3)(4,4)(5,5)(6,6)
|ψ(Ω_6)
|-
|-
|(0)(1,1,1)
|(0)(1,1,1)
|ψ(Ω_ω) = Buchholz's Ordinal
|ψ(Ω_ω)=BO
|}
|}
[[分类:分析]]
[[分类:分析]]

2025年8月23日 (六) 19:53的版本

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

BMS 向上投影递归化
0 0
(0)(0) ψ(0)
(0)(1) ψ(1)
(0)(1)(0) ψ(1)+ψ(0)
(0)(1)(0)(1) ψ(1)*2
(0)(1)(1) ψ(2)
(0)(1)(2) ψ(ω)
(0)(1)(2)(0) ψ(ω)+ψ(0)
(0)(1)(2)(0)(1) ψ(ω)+ψ(1)
(0)(1)(2)(0)(1)(1) ψ(ω)+ψ(2)
(0)(1)(2)(0)(1)(2) ψ(ω)*2
(0)(1)(2)(1) ψ(ω+1)
(0)(1)(2)(1)(2) ψ(ω*2)=ψ(ψ(1)*2)
(0)(1)(2)(2) ψ(ψ(2))
(0)(1)(2)(2)(1) ψ(ψ(2)+ψ(0))
(0)(1)(2)(2)(1)(2) ψ(ψ(2)+ψ(1))
(0)(1)(2)(2)(1)(2)(2) ψ(ψ(2)*2)
(0)(1)(2)(2)(2) ψ(ψ(3))
(0)(1)(2)(3) ψ(ψ(ω))
(0)(1)(2)(3)(2) ψ(ψ(ω+1))
(0)(1)(2)(3)(2)(3) ψ(ψ(ψ(1)*2))
(0)(1)(2)(3)(3) ψ(ψ(ψ(2)))
(0)(1)(2)(3)(4) ψ(ψ(ψ(ω)))
(0)(1,1) ψ(Ω)=ε0
(0)(1,1)(0)(1,1) ψ(Ω)*2
(0)(1,1)(1) ψ(Ω+1)
(0)(1,1)(1)(1) ψ(Ω+2)
(0)(1,1)(1)(2) ψ(Ω+ω)
(0)(1,1)(1)(2)(1)(2) ψ(Ω+ω*2)
(0)(1,1)(1)(2)(2) ψ(Ω+ω^2)=ψ(Ω+ψ(2))
(0)(1,1)(1)(2)(3) ψ(Ω+ψ(ω))
(0)(1,1)(1)(2)(3)(2) ψ(Ω+ψ(ω+1))
(0)(1,1)(1)(2)(3)(2)(3) ψ(Ω+ψ(ω*2))
(0)(1,1)(1)(2)(3)(3) ψ(Ω+ψ(ψ(2)))
(0)(1,1)(1)(2)(3)(4) ψ(Ω+ψ(ψ(ω)))
(0)(1,1)(1)(2,1) ψ(Ω+ψ(Ω))
(0)(1,1)(1)(2,1)(0)(1,1)(1)(2,1) ψ(Ω+ψ(Ω))*2
(0)(1,1)(1)(2,1)(1) ψ(Ω+ψ(Ω)+1)
(0)(1,1)(1)(2,1)(1)(2) ψ(Ω+ψ(Ω)+ω)
(0)(1,1)(1)(2,1)(1)(2,1) ψ(Ω+ψ(Ω)*2)
(0)(1,1)(1)(2,1)(2) ψ(Ω+ψ(Ω+1))
(0)(1,1)(1)(2,1)(2)(1)(2,1)(2) ψ(Ω+ψ(Ω+1)*2)
(0)(1,1)(1)(2,1)(2)(2) ψ(Ω+ψ(Ω+2))
(0)(1,1)(1)(2,1)(2)(3) ψ(Ω+ψ(Ω+ω))
(0)(1,1)(1)(2,1)(2)(3,1) ψ(Ω+ψ(Ω+ψ(Ω)))
(0)(1,1)(1,1) ψ(Ω*2)=ε1
(0)(1,1)(1,1)(1) ψ(Ω*2+1)
(0)(1,1)(1,1)(1)(2,1) ψ(Ω*2+ψ(Ω))
(0)(1,1)(1,1)(1)(2,1)(2) ψ(Ω*2+ψ(Ω+1))
(0)(1,1)(1,1)(1)(2,1)(2)(3,1) ψ(Ω*2+ψ(Ω+ψ(Ω)))
(0)(1,1)(1,1)(1)(2,1)(2,1) ψ(Ω*2+ψ(Ω*2))
(0)(1,1)(1,1)(1)(2,1)(2,1)(1)(2,1)(2,1) ψ(Ω*2+ψ(Ω*2)*2)
(0)(1,1)(1,1)(1)(2,1)(2,1)(2) ψ(Ω*2+ψ(Ω*2+1))
(0)(1,1)(1,1)(1)(2,1)(2,1)(2)(1)(2,1)(2,1)(2) ψ(Ω*2+ψ(Ω*2+1)*2)
(0)(1,1)(1,1)(1)(2,1)(2,1)(2)(2) ψ(Ω*2+ψ(Ω*2+2))
(0)(1,1)(1,1)(1)(2,1)(2,1)(2)(3) ψ(Ω*2+ψ(Ω*2+ω))
(0)(1,1)(1,1)(1)(2,1)(2,1)(2)(3,1) ψ(Ω*2+ψ(Ω*2+ψ(Ω)))
(0)(1,1)(1,1)(1)(2,1)(2,1)(2)(3,1)(3,1) ψ(Ω*2+ψ(Ω*2+ψ(Ω*2)))
(0)(1,1)(1,1)(1,1) ψ(Ω*3)=ε2
(0)(1,1)(1,1)(1,1)(1)(2,1)(2,1)(2,1) ψ(Ω*3+ψ(Ω*3))
(0)(1,1)(1,1)(1,1)(1,1) ψ(Ω*4)
(0)(1,1)(2) ψ(Ω*ω)
(0)(1,1)(2)(1) ψ(Ω*ω+1)
(0)(1,1)(2)(1)(2) ψ(Ω*ω+ω)
(0)(1,1)(2)(1)(2,1) ψ(Ω*ω+ψ(Ω))
(0)(1,1)(2)(1)(2,1)(3) ψ(Ω*ω+ψ(Ω*ω))
(0)(1,1)(2)(1)(2,1)(3)(1)(2,1)(3) ψ(Ω*ω+ψ(Ω*ω)*2)
(0)(1,1)(2)(1)(2,1)(3)(2) ψ(Ω*ω+ψ(Ω*ω+1))
(0)(1,1)(2)(1)(2,1)(3)(2)(3,1) ψ(Ω*ω+ψ(Ω*ω+ψ(Ω)))
(0)(1,1)(2)(1)(2,1)(3)(2)(3,1)(4) ψ(Ω*ω+ψ(Ω*ω+ψ(Ω*ω)))
(0)(1,1)(2)(1,1) ψ(Ω*(ω+1))
(0)(1,1)(2)(1,1)(2) ψ(Ω*ω*2)
(0)(1,1)(2)(2) ψ(Ω*ψ(2))
(0)(1,1)(2)(3) ψ(Ω*ψ(ω))
(0)(1,1)(2)(3,1) ψ(Ω*ψ(Ω))
(0)(1,1)(2)(3,1)(1,1)(2)(3,1) ψ(Ω*ψ(Ω)*2)
(0)(1,1)(2)(3,1)(2) ψ(Ω*ψ(Ω+1))
(0)(1,1)(2)(3,1)(2)(3) ψ(Ω*ψ(Ω+ω))
(0)(1,1)(2)(3,1)(2)(3,1) ψ(Ω*ψ(Ω+ψ(Ω)))
(0)(1,1)(2)(3,1)(2)(3,1)(2) ψ(Ω*ψ(Ω+ψ(Ω)+1))
(0)(1,1)(2)(3,1)(2)(3,1)(2)(3,1) ψ(Ω*ψ(Ω+ψ(Ω)*2))
(0)(1,1)(2)(3,1)(3) ψ(Ω*ψ(Ω+ψ(Ω+1)))
(0)(1,1)(2)(3,1)(3)(4,1) ψ(Ω*ψ(Ω+ψ(Ω+ψ(Ω))))
(0)(1,1)(2)(3,1)(3,1) ψ(Ω*ψ(Ω*2))
(0)(1,1)(2)(3,1)(4) ψ(Ω*ψ(Ω*ω))
(0)(1,1)(2)(3,1)(4)(5) ψ(Ω*ψ(Ω*ψ(ω)))
(0)(1,1)(2)(3,1)(4)(5,1) ψ(Ω*ψ(Ω*ψ(Ω)))
(0)(1,1)(2,1) ψ(Ω^2)
(0)(1,1)(2,1)(1) ψ(Ω^2+1)
(0)(1,1)(2,1)(1)(2,1) ψ(Ω^2+ψ(Ω))
(0)(1,1)(2,1)(1)(2,1)(3) ψ(Ω^2+ψ(Ω*ω))
(0)(1,1)(2,1)(1)(2,1)(3,1) ψ(Ω^2+ψ(Ω^2))
(0)(1,1)(2,1)(1)(2,1)(3,1)(2) ψ(Ω^2+ψ(Ω^2+1))
(0)(1,1)(2,1)(1)(2,1)(3,1)(2)(3,1) ψ(Ω^2+ψ(Ω^2+ψ(Ω)))
(0)(1,1)(2,1)(1)(2,1)(3,1)(2)(3,1)(4,1) ψ(Ω^2+ψ(Ω^2+ψ(Ω^2)))
(0)(1,1)(2,1)(1,1) ψ(Ω^2+Ω)
(0)(1,1)(2,1)(1,1)(1)(2,1)(3,1) ψ(Ω^2+Ω+ψ(Ω^2))
(0)(1,1)(2,1)(1,1)(1)(2,1)(3,1)(2,1) ψ(Ω^2+Ω+ψ(Ω^2+Ω))
(0)(1,1)(2,1)(1,1)(1)(2,1)(3,1)(2,1)(2) ψ(Ω^2+Ω+ψ(Ω^2+Ω+1))
(0)(1,1)(2,1)(1,1)(1)(2,1)(3,1)(2,1)(2)(3,1) ψ(Ω^2+Ω+ψ(Ω^2+Ω+ψ(Ω)))
(0)(1,1)(2,1)(1,1)(1,1) ψ(Ω^2+Ω*2)
(0)(1,1)(2,1)(1,1)(2) ψ(Ω^2+Ω*ω)
(0)(1,1)(2,1)(1,1)(2)(1,1)(2) ψ(Ω^2+Ω*ω*2)
(0)(1,1)(2,1)(1,1)(2)(2) ψ(Ω^2+Ω*ψ(2))
(0)(1,1)(2,1)(1,1)(2)(3) ψ(Ω^2+Ω*ψ(ω))
(0)(1,1)(2,1)(1,1)(2)(3,1) ψ(Ω^2+Ω*ψ(Ω))
(0)(1,1)(2,1)(1,1)(2)(3,1)(2) ψ(Ω^2+Ω*ψ(Ω+1))
(0)(1,1)(2,1)(1,1)(2)(3,1)(2)(3,1) ψ(Ω^2+Ω*ψ(Ω+ψ(Ω)))
(0)(1,1)(2,1)(1,1)(2)(3,1)(3) ψ(Ω^2+Ω*ψ(Ω+ψ(Ω+1)))
(0)(1,1)(2,1)(1,1)(2)(3,1)(3)(4,1) ψ(Ω^2+Ω*ψ(Ω+ψ(Ω+ψ(Ω))))
(0)(1,1)(2,1)(1,1)(2)(3,1)(3,1) ψ(Ω^2+Ω*ψ(Ω*2))
(0)(1,1)(2,1)(1,1)(2)(3,1)(4) ψ(Ω^2+Ω*ψ(Ω*ω))
(0)(1,1)(2,1)(1,1)(2)(3,1)(4)(5,1) ψ(Ω^2+Ω*ψ(Ω*ψ(Ω)))
(0)(1,1)(2,1)(1,1)(2)(3,1)(4)(5,1)(6) ψ(Ω^2+Ω*ψ(Ω*ψ(Ω*ω)))
(0)(1,1)(2,1)(1,1)(2)(3,1)(4,1) ψ(Ω^2+Ω*ψ(Ω^2))
(0)(1,1)(2,1)(1,1)(2)(3,1)(4,1)(2) ψ(Ω^2+Ω*ψ(Ω^2+1))
(0)(1,1)(2,1)(1,1)(2)(3,1)(4,1)(2)(3,1)(4,1) ψ(Ω^2+Ω*ψ(Ω^2+ψ(Ω^2)))
(0)(1,1)(2,1)(1,1)(2)(3,1)(4,1)(3) ψ(Ω^2+Ω*ψ(Ω^2+ψ(Ω^2+1)))
(0)(1,1)(2,1)(1,1)(2)(3,1)(4,1)(3,1) ψ(Ω^2+Ω*ψ(Ω^2+Ω))
(0)(1,1)(2,1)(1,1)(2)(3,1)(4,1)(3,1)(4) ψ(Ω^2+Ω*ψ(Ω^2+Ω*ω))
(0)(1,1)(2,1)(1,1)(2)(3,1)(4,1)(3,1)(4)(5,1) ψ(Ω^2+Ω*ψ(Ω^2+Ω*ψ(Ω)))
(0)(1,1)(2,1)(1,1)(2)(3,1)(4,1)(3,1)(4)(5,1)(6,1) ψ(Ω^2+Ω*ψ(Ω^2+Ω*ψ(Ω^2)))
(0)(1,1)(2,1)(1,1)(2,1) ψ(Ω^2*2)
(0)(1,1)(2,1)(1,1)(2,1)(1)(2,1)(3,1)(2,1)(3,1) ψ(Ω^2*2+ψ(Ω^2*2))
(0)(1,1)(2,1)(1,1)(2,1)(1,1) ψ(Ω^2+Ω*2)
(0)(1,1)(2,1)(1,1)(2,1)(1,1)(2) ψ(Ω^2+Ω*ω)
(0)(1,1)(2,1)(1,1)(2,1)(1,1)(2)(3,1)(4,1) ψ(Ω^2*2+Ω*ψ(Ω^2))
(0)(1,1)(2,1)(1,1)(2,1)(1,1)(2)(3,1)(4,1)(3,1)(4,1) ψ(Ω^2*2+Ω*ψ(Ω^2*2))
(0)(1,1)(2,1)(1,1)(2,1)(1,1)(2,1) ψ(Ω^2*3)
(0)(1,1)(2,1)(2) ψ(Ω^2*ω)
(0)(1,1)(2,1)(2)(1)(2,1)(3,1)(3) ψ(Ω^2*ω+ψ(Ω^2*ω))
(0)(1,1)(2,1)(2)(1,1) ψ(Ω^2*ω+Ω)
(0)(1,1)(2,1)(2)(1,1)(2,1) ψ(Ω^2*(ω+1))
(0)(1,1)(2,1)(2)(1,1)(2,1)(2) ψ(Ω^2*ω*2)
(0)(1,1)(2,1)(2)(2) ψ(Ω^2*ψ(2))
(0)(1,1)(2,1)(2)(3) ψ(Ω^2*ψ(ω))
(0)(1,1)(2,1)(2)(3,1) ψ(Ω^2*ψ(Ω))
(0)(1,1)(2,1)(2)(3,1)(3,1) ψ(Ω^2*ψ(Ω*2))
(0)(1,1)(2,1)(2)(3,1)(4) ψ(Ω^2*ψ(Ω*ω))
(0)(1,1)(2,1)(2)(3,1)(4)(5,1) ψ(Ω^2*ψ(Ω*ψ(Ω)))
(0)(1,1)(2,1)(2)(3,1)(4,1) ψ(Ω^2*ψ(Ω^2))
(0)(1,1)(2,1)(2)(3,1)(4,1)(1,1)(2,1)(2)(3,1)(4,1) ψ(Ω^2*ψ(Ω^2)*2)
(0)(1,1)(2,1)(2)(3,1)(4,1)(2) ψ(Ω^2*ψ(Ω^2+1))
(0)(1,1)(2,1)(2)(3,1)(4,1)(2)(3,1)(4,1) ψ(Ω^2*ψ(Ω^2+ψ(Ω^2)))
(0)(1,1)(2,1)(2)(3,1)(4,1)(3) ψ(Ω^2*ψ(Ω^2+ψ(Ω^2+1)))
(0)(1,1)(2,1)(2)(3,1)(4,1)(3,1) ψ(Ω^2*ψ(Ω^2+Ω))
(0)(1,1)(2,1)(2)(3,1)(4,1)(3,1)(4) ψ(Ω^2*ψ(Ω^2+Ω*ω))
(0)(1,1)(2,1)(2)(3,1)(4,1)(3,1)(4)(5,1)(6,1)(5,1) ψ(Ω^2*ψ(Ω^2+Ω*ψ(Ω^2+Ω)))
(0)(1,1)(2,1)(2)(3,1)(4,1)(3,1)(4,1) ψ(Ω^2*ψ(Ω^2*2))
(0)(1,1)(2,1)(2)(3,1)(4,1)(4) ψ(Ω^2*ψ(Ω^2*ω))
(0)(1,1)(2,1)(2,1) ψ(Ω^3)=η0
(0)(1,1)(2,1)(2,1)(1,1) ψ(Ω^3+Ω)
(0)(1,1)(2,1)(2,1)(1,1)(2)(3,1)(4,1)(4,1) ψ(Ω^3+Ω*ψ(Ω^3))
(0)(1,1)(2,1)(2,1)(1,1)(2,1) ψ(Ω^3+Ω^2)
(0)(1,1)(2,1)(2,1)(1,1)(2,1)(2) ψ(Ω^3+Ω^2*ω)
(0)(1,1)(2,1)(2,1)(1,1)(2,1)(2)(3,1)(4,1)(4,1) ψ(Ω^3+Ω^2*ψ(Ω^3))
(0)(1,1)(2,1)(2,1)(1,1)(2,1)(2)(3,1)(4,1)(4,1)(3,1)(4,1)(4) ψ(Ω^3+Ω^2*ψ(Ω^3+Ω^2*ω))
(0)(1,1)(2,1)(2,1)(1,1)(2,1)(2,1) ψ(Ω^3*2)
(0)(1,1)(2,1)(2,1)(2) ψ(Ω^3*ω)
(0)(1,1)(2,1)(2,1)(2)(3,1) ψ(Ω^3*ψ(Ω))
(0)(1,1)(2,1)(2,1)(2)(3,1)(4,1)(4,1) ψ(Ω^3*ψ(Ω^3))
(0)(1,1)(2,1)(2,1)(2,1) ψ(Ω^4)
(0)(1,1)(2,1)(3) ψ(Ω^ω)=φ(ω,0)
(0)(1,1)(2,1)(3)(1) ψ(Ω^ω+1)
(0)(1,1)(2,1)(3)(1)(2,1)(3,1)(4) ψ(Ω^ω+ψ(Ω^ω))
(0)(1,1)(2,1)(3)(1,1) ψ(Ω^ω+Ω)
(0)(1,1)(2,1)(3)(1,1)(2,1) ψ(Ω^ω+Ω^2)
(0)(1,1)(2,1)(3)(1,1)(2,1)(3) ψ(Ω^ω*2)
(0)(1,1)(2,1)(3)(2) ψ(Ω^ω*ω)
(0)(1,1)(2,1)(3)(2)(3,1) ψ(Ω^ω*ψ(Ω))
(0)(1,1)(2,1)(3)(2)(3,1)(4,1)(5) ψ(Ω^ω*ψ(Ω^ω))
(0)(1,1)(2,1)(3)(2)(3,1)(4,1)(5)(4) ψ(Ω^ω*ψ(Ω^ω*ω))
(0)(1,1)(2,1)(3)(2,1) ψ(Ω^(ω+1))
(0)(1,1)(2,1)(3)(2,1)(3) ψ(Ω^(ω*2))
(0)(1,1)(2,1)(3)(3) ψ(Ω^ψ(2))
(0)(1,1)(2,1)(3)(4) ψ(Ω^ψ(ω))
(0)(1,1)(2,1)(3)(4,1) ψ(Ω^ψ(Ω))
(0)(1,1)(2,1)(3)(4,1)(3)(4,1) ψ(Ω^ψ(Ω+ψ(Ω)))
(0)(1,1)(2,1)(3)(4,1)(4,1) ψ(Ω^ψ(Ω*2))
(0)(1,1)(2,1)(3)(4,1)(5,1) ψ(Ω^ψ(Ω^2))
(0)(1,1)(2,1)(3)(4,1)(5,1)(6) ψ(Ω^ψ(Ω^ω))
(0)(1,1)(2,1)(3,1) ψ(Ω^Ω)=Γ0
(0)(1,1)(2,1)(3,1)(1) ψ(Ω^Ω+1)
(0)(1,1)(2,1)(3,1)(1)(2,1)(3,1)(4,1) ψ(Ω^Ω+ψ(Ω^Ω))
(0)(1,1)(2,1)(3,1)(1)(2,1)(3,1)(4,1)(2) ψ(Ω^Ω+ψ(Ω^Ω+1))
(0)(1,1)(2,1)(3,1)(1,1) ψ(Ω^Ω+Ω)
(0)(1,1)(2,1)(3,1)(1,1)(2) ψ(Ω^Ω+Ω*ω)
(0)(1,1)(2,1)(3,1)(1,1)(2)(3,1)(4,1)(5,1) ψ(Ω^Ω+Ω*ψ(Ω^Ω))
(0)(1,1)(2,1)(3,1)(1,1)(2,1) ψ(Ω^Ω+Ω^2)
(0)(1,1)(2,1)(3,1)(1,1)(2,1)(2)(3,1)(4,1)(5,1)(3,1)(4,1) ψ(Ω^Ω+Ω^2*ψ(Ω^Ω+Ω^2))
(0)(1,1)(2,1)(3,1)(1,1)(2,1)(2,1) ψ(Ω^Ω+Ω^3)
(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3) ψ(Ω^Ω+Ω^ω)
(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1) ψ(Ω^Ω+Ω^ψ(Ω))
(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1) ψ(Ω^Ω+Ω^ψ(Ω^Ω))
(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(3) ψ(Ω^Ω+Ω^ψ(Ω^Ω+1))
(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(4,1) ψ(Ω^Ω+Ω^ψ(Ω^Ω+Ω))
(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(4,1)(5,1)(6) ψ(Ω^Ω+Ω^ψ(Ω^Ω+Ω^ω))
(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(4,1)(5,1)(6)(7,1) ψ(Ω^Ω+Ω^ψ(Ω^Ω+Ω^ψ(Ω)))
(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1) ψ(Ω^Ω*2)
(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)(2,1)(3) ψ(Ω^Ω*2+Ω^ω)
(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(4,1)(5,1)(6,1) ψ(Ω^Ω*2+Ω^ψ(Ω^Ω*2))
(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1) ψ(Ω^Ω*3)
(0)(1,1)(2,1)(3,1)(2) ψ(Ω^Ω*ω)
(0)(1,1)(2,1)(3,1)(2)(3,1)(4,1)(5,1) ψ(Ω^Ω*ψ(Ω^Ω))
(0)(1,1)(2,1)(3,1)(2,1) ψ(Ω^(Ω+1))
(0)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1) ψ(Ω^(Ω+1)+Ω^Ω)
(0)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)(2) ψ(Ω^(Ω+1)+Ω^Ω*ω)
(0)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)(2)(3,1)(4,1)(5,1) ψ(Ω^(Ω+1)+Ω^Ω*ψ(Ω^Ω))
(0)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)(2)(3,1)(4,1)(5,1)(4,1) ψ(Ω^(Ω+1)+Ω^Ω*ψ(Ω^(Ω+1)))
(0)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)(2,1) ψ(Ω^(Ω+1)*2)
(0)(1,1)(2,1)(3,1)(2,1)(2) ψ(Ω^(Ω+1)*ω)
(0)(1,1)(2,1)(3,1)(2,1)(2)(3) ψ(Ω^(Ω+1)*ψ(ω))
(0)(1,1)(2,1)(3,1)(2,1)(2)(3,1)(4,1)(5,1)(4,1) ψ(Ω^(Ω+1)*ψ(Ω^(Ω+1)))
(0)(1,1)(2,1)(3,1)(2,1)(2,1) ψ(Ω^(Ω+2))
(0)(1,1)(2,1)(3,1)(2,1)(3) ψ(Ω^(Ω+ω))
(0)(1,1)(2,1)(3,1)(2,1)(3)(4,1)(5,1)(6,1)(5,1)(6) ψ(Ω^(Ω+ψ(Ω^(Ω+ω))))
(0)(1,1)(2,1)(3,1)(2,1)(3,1) ψ(Ω^(Ω*2))
(0)(1,1)(2,1)(3,1)(3) ψ(Ω^(Ω*ω))
(0)(1,1)(2,1)(3,1)(3)(4,1)(5,1)(6,1)(6) ψ(Ω^(Ω*ψ(Ω^(Ω*ω))))
(0)(1,1)(2,1)(3,1)(3,1) ψ(Ω^Ω^2)
(0)(1,1)(2,1)(3,1)(3,1)(1,1)(2,1)(3,1) ψ(Ω^Ω^2+Ω^Ω)
(0)(1,1)(2,1)(3,1)(3,1)(1,1)(2,1)(3,1)(3) ψ(Ω^Ω^2+Ω^(Ω*ω))
(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(3)(4,1)(5,1)(6,1)(6,1) ψ(Ω^Ω^2+Ω^(Ω*ψ(Ω^Ω^2)))
(0)(1,1)(2,1)(3,1)(3,1)(1,1)(2,1)(3,1)(3,1) ψ(Ω^Ω^2*2)
(0)(1,1)(2,1)(3,1)(3,1)(2) ψ(Ω^Ω^2*ω)
(0)(1,1)(2,1)(3,1)(3,1)(2)(3,1)(4,1)(5,1)(5,1)(4) ψ(Ω^Ω^2*ψ(Ω^Ω^2*ω))
(0)(1,1)(2,1)(3,1)(3,1)(2,1) ψ(Ω^(Ω^2+1))
(0)(1,1)(2,1)(3,1)(3,1)(2,1)(3) ψ(Ω^(Ω^2+ω))
(0)(1,1)(2,1)(3,1)(3,1)(2,1)(3)(4,1)(5,1)(6,1)(6,1) ψ(Ω^(Ω^2+ψ(Ω^Ω^2)))
(0)(1,1)(2,1)(3,1)(3,1)(2,1)(3,1) ψ(Ω^(Ω^2+Ω))
(0)(1,1)(2,1)(3,1)(3,1)(2,1)(3,1)(3) ψ(Ω^(Ω^2+Ω*ω))
(0)(1,1)(2,1)(3,1)(3,1)(2,1)(3,1)(3)(4,1)(5,1)(6,1)(6,1) ψ(Ω^(Ω^2+Ω*ψ(Ω^Ω^2)))
(0)(1,1)(2,1)(3,1)(3,1)(2,1)(3,1)(3,1) ψ(Ω^(Ω^2*2))
(0)(1,1)(2,1)(3,1)(3,1)(3) ψ(Ω^(Ω^2*ω))
(0)(1,1)(2,1)(3,1)(3,1)(3)(4,1)(5,1)(6,1)(6,1) ψ(Ω^(Ω^2*ψ(Ω^Ω^2)))
(0)(1,1)(2,1)(3,1)(3,1)(3,1) ψ(Ω^Ω^3)
(0)(1,1)(2,1)(3,1)(4) ψ(Ω^Ω^ω)=SVO
(0)(1,1)(2,1)(3,1)(4)(1,1)(2,1)(3,1)(4) ψ(Ω^Ω^ω*2)
(0)(1,1)(2,1)(3,1)(4)(2,1) ψ(Ω^(Ω^ω+1))
(0)(1,1)(2,1)(3,1)(4)(2,1)(3,1)(4) ψ(Ω^(Ω^ω*2))
(0)(1,1)(2,1)(3,1)(4)(3) ψ(Ω^(Ω^ω*ω))
(0)(1,1)(2,1)(3,1)(4)(3,1) ψ(Ω^Ω^(ω+1))
(0)(1,1)(2,1)(3,1)(4)(4) ψ(Ω^Ω^ψ(2))
(0)(1,1)(2,1)(3,1)(4)(5,1)(6,1)(7,1)(8) ψ(Ω^Ω^ψ(Ω^Ω^ω))
(0)(1,1)(2,1)(3,1)(4,1) ψ(Ω^Ω^Ω)=LVO
(0)(1,1)(2,1)(3,1)(4,1)(1)(2,1)(3,1)(4,1)(5,1) ψ(Ω^Ω^Ω+ψ(Ω^Ω^Ω))
(0)(1,1)(2,1)(3,1)(4,1)(1,1) ψ(Ω^Ω^Ω+Ω)
(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2)(3,1)(4,1)(5,1)(6,1) ψ(Ω^Ω^Ω+Ω*ψ(Ω^Ω^Ω))
(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1) ψ(Ω^Ω^Ω+Ω^2)
(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)(7,1) ψ(Ω^Ω^Ω+Ω^ψ(Ω^Ω^Ω))
(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3,1) ψ(Ω^Ω^Ω+Ω^Ω)
(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3,1)(2)(3,1)(4,1)(5,1)(6,1) ψ(Ω^Ω^Ω+Ω^Ω*ψ(Ω^Ω^Ω))
(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3,1)(2,1)(3,1) ψ(Ω^Ω^Ω+Ω^(Ω*2))
(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3,1)(3) ψ(Ω^Ω^Ω+Ω^(Ω*ω))
(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3,1)(3)(4,1)(5,1)(6,1)(7,1) ψ(Ω^Ω^Ω+Ω^(Ω*ψ(Ω^Ω^Ω)))
(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3,1)(3,1) ψ(Ω^Ω^Ω+Ω^Ω^2)
(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3,1)(4)(5,1)(6,1)(7,1)(8,1) ψ(Ω^Ω^Ω+Ω^Ω^ψ(Ω^Ω^Ω))
(0)(1,1)(2,1)(3,1)(4,1)(1,1)(2,1)(3,1)(4,1) ψ(Ω^Ω^Ω*2)
(0)(1,1)(2,1)(3,1)(4,1)(2)(3,1)(4,1)(5,1)(6,1) ψ(Ω^Ω^Ω*ψ(Ω^Ω^Ω))
(0)(1,1)(2,1)(3,1)(4,1)(2,1) ψ(Ω^(Ω^Ω+1))
(0)(1,1)(2,1)(3,1)(4,1)(2,1)(3)(4,1)(5,1)(6,1)(7,1) ψ(Ω^(Ω^Ω+ψ(Ω^Ω^Ω)))
(0)(1,1)(2,1)(3,1)(4,1)(2,1)(3,1) ψ(Ω^(Ω^Ω+Ω))
(0)(1,1)(2,1)(3,1)(4,1)(2,1)(3,1)(4) ψ(Ω^(Ω^Ω+Ω^ω))
(0)(1,1)(2,1)(3,1)(4,1)(2,1)(3,1)(4)(5,1)(6,1)(7,1)(8,1) ψ(Ω^(Ω^Ω+Ω^ψ(Ω^Ω^Ω)))
(0)(1,1)(2,1)(3,1)(4,1)(2,1)(3,1)(4,1) ψ(Ω^(Ω^Ω*2))
(0)(1,1)(2,1)(3,1)(4,1)(3) ψ(Ω^(Ω^Ω*ω))
(0)(1,1)(2,1)(3,1)(4,1)(3,1) ψ(Ω^Ω^(Ω+1))
(0)(1,1)(2,1)(3,1)(4,1)(3,1)(4) ψ(Ω^Ω^(Ω+ω))
(0)(1,1)(2,1)(3,1)(4,1)(3,1)(4)(5,1)(6,1)(7,1)(8,1) ψ(Ω^Ω^(Ω+ψ(Ω^Ω^Ω)))
(0)(1,1)(2,1)(3,1)(4,1)(3,1)(4,1) ψ(Ω^Ω^(Ω*2))
(0)(1,1)(2,1)(3,1)(4,1)(4,1) ψ(Ω^Ω^Ω^2)
(0)(1,1)(2,1)(3,1)(4,1)(4,1)(3,1) ψ(Ω^Ω^(Ω^2+1))
(0)(1,1)(2,1)(3,1)(4,1)(4,1)(3,1)(4,1)(4,1) ψ(Ω^Ω^(Ω^2*2))
(0)(1,1)(2,1)(3,1)(4,1)(4,1)(4,1) ψ(Ω^Ω^Ω^3)
(0)(1,1)(2,1)(3,1)(4,1)(5,1) ψ(Ω^Ω^Ω^Ω)
(0)(1,1)(2,1)(3,1)(4,1)(5,1)(3,1)(4,1)(5,1) ψ(Ω^Ω^(Ω^Ω*2))
(0)(1,1)(2,1)(3,1)(4,1)(5,1)(4,1) ψ(Ω^Ω^Ω^(Ω+1))
(0)(1,1)(2,1)(3,1)(4,1)(5,1)(4,1)(5,1) ψ(Ω^Ω^Ω^(Ω*2))
(0)(1,1)(2,1)(3,1)(4,1)(5,1)(5,1) ψ(Ω^Ω^Ω^Ω^2)
(0)(1,1)(2,1)(3,1)(4,1)(5,1)(6,1) ψ(Ω^Ω^Ω^Ω^Ω)
(0)(1,1)(2,2) ψ(Ω_2)=BHO
(0)(1,1)(2,2)(1) ψ(Ω_2+1)
(0)(1,1)(2,2)(1)(2,1) ψ(Ω_2+ψ(Ω))
(0)(1,1)(2,2)(1)(2,1)(3,2) ψ(Ω_2+ψ(Ω_2))
(0)(1,1)(2,2)(1)(2,1)(3,2)(2) ψ(Ω_2+ψ(Ω_2+1))
(0)(1,1)(2,2)(1)(2,1)(3,2)(2)(3,1)(4,2) ψ(Ω_2+ψ(Ω_2+ψ(Ω_2)))
(0)(1,1)(2,2)(1,1) ψ(Ω_2+Ω)
(0)(1,1)(2,2)(1,1)(2) ψ(Ω_2+Ω*ω)
(0)(1,1)(2,2)(1,1)(2)(3,1)(4,2) ψ(Ω_2+Ω*ψ(Ω_2))
(0)(1,1)(2,2)(1,1)(2,1) ψ(Ω_2+Ω^2)
(0)(1,1)(2,2)(1,1)(2,2) ψ(Ω_2+ψ_1(Ω_2))
(0)(1,1)(2,2)(2) ψ(Ω_2+ψ_1(Ω_2+1))
(0)(1,1)(2,2)(2)(3,1)(4,2) ψ(Ω_2+ψ_1(Ω_2+ψ(Ω_2)))
(0)(1,1)(2,2)(2,1) ψ(Ω_2+ψ_1(Ω_2+Ω))
(0)(1,1)(2,2)(2,1)(1,1)(2,2) ψ(Ω_2+ψ_1(Ω_2+Ω)+ψ_1(Ω_2))
(0)(1,1)(2,2)(2,1)(1,1)(2,2)(2)(3,1)(4,2)(4,1) ψ(Ω_2+ψ_1(Ω_2+Ω)+ψ_1(Ω_2+ψ(Ω_2+ψ_1(Ω_2+Ω))))
(0)(1,1)(2,2)(2,1)(1,1)(2,2)(2,1) ψ(Ω_2+ψ_1(Ω_2+Ω)*2)
(0)(1,1)(2,2)(2,1)(2) ψ(Ω_2+ψ_1(Ω_2+Ω+1))
(0)(1,1)(2,2)(2,1)(2,1) ψ(Ω_2+ψ_1(Ω_2+Ω*2))
(0)(1,1)(2,2)(2,1)(3) ψ(Ω_2+ψ_1(Ω_2+Ω*ω))
(0)(1,1)(2,2)(2,1)(3)(4,1)(5,2) ψ(Ω_2+ψ_1(Ω_2+Ω*ψ(Ω_2)))
(0)(1,1)(2,2)(2,1)(3,1) ψ(Ω_2+ψ_1(Ω_2+Ω^2))
(0)(1,1)(2,2)(2,1)(3,2) ψ(Ω_2+ψ_1(Ω_2+ψ_1(Ω_2)))
(0)(1,1)(2,2)(2,1)(3,2)(3) ψ(Ω_2+ψ_1(Ω_2+ψ_1(Ω_2+1)))
(0)(1,1)(2,2)(2,1)(3,2)(3,1) ψ(Ω_2+ψ_1(Ω_2+ψ_1(Ω_2+Ω)))
(0)(1,1)(2,2)(2,1)(3,2)(3,1)(4,2) ψ(Ω_2+ψ_1(Ω_2+ψ_1(Ω_2+ψ_1(Ω_2))))
(0)(1,1)(2,2)(2,2) ψ(Ω_2*2)
(0)(1,1)(2,2)(2,2)(1,1)(2,2) ψ(Ω_2*2+ψ_1(Ω_2))
(0)(1,1)(2,2)(2,2)(1,1)(2,2)(2,2) ψ(Ω_2*2+ψ_1(Ω_2*2))
(0)(1,1)(2,2)(2,2)(2) ψ(Ω_2*2+ψ_1(Ω_2*2+1))
(0)(1,1)(2,2)(2,2)(2,1) ψ(Ω_2*2+ψ_1(Ω_2*2+Ω))
(0)(1,1)(2,2)(2,2)(2,1)(3,2)(3,2) ψ(Ω_2*2+ψ_1(Ω_2*2+ψ_1(Ω_2*2)))
(0)(1,1)(2,2)(2,2)(2,2) ψ(Ω_2*3)
(0)(1,1)(2,2)(3) ψ(Ω_2*ω)
(0)(1,1)(2,2)(3)(2,2)(3) ψ(Ω_2*ω*2)
(0)(1,1)(2,2)(3)(4,1) ψ(Ω_2*ψ(Ω))
(0)(1,1)(2,2)(3)(4,1)(5,2) ψ(Ω_2*ψ(Ω_2))
(0)(1,1)(2,2)(3,1) ψ(Ω_2*Ω)
(0)(1,1)(2,2)(3,1)(2,2)(3,1) ψ(Ω_2*Ω*2)
(0)(1,1)(2,2)(3,1)(3,1) ψ(Ω_2*Ω^2)
(0)(1,1)(2,2)(3,1)(4,2) ψ(Ω_2*ψ_1(Ω_2))
(0)(1,1)(2,2)(3,1)(4,2)(5) ψ(Ω_2*ψ_1(Ω_2*ω))
(0)(1,1)(2,2)(3,1)(4,2)(5,1) ψ(Ω_2*ψ_1(Ω_2*Ω))
(0)(1,1)(2,2)(3,2) ψ(Ω_2^2)=ψ(ζ(Ω+1))
(0)(1,1)(2,2)(3,2)(1,1)(2,2) ψ(Ω_2^2+ψ_1(Ω_2))
(0)(1,1)(2,2)(3,2)(1,1)(2,2)(3,2) ψ(Ω_2^2+ψ_1(Ω_2^2))
(0)(1,1)(2,2)(3,2)(2) ψ(Ω_2^2+ψ_1(Ω_2^2+1))
(0)(1,1)(2,2)(3,2)(2)(3,1)(4,2)(5,2) ψ(Ω_2^2+ψ_1(Ω_2^2+ψ(Ω_2^2)))
(0)(1,1)(2,2)(3,2)(2,1) ψ(Ω_2^2+ψ_1(Ω_2^2+Ω))
(0)(1,1)(2,2)(3,2)(2,1)(1,1)(2,2)(3,2)(2)(3,1)(4,2)(5,2)(4,1) ψ(Ω_2^2+ψ_1(Ω_2^2+Ω)+ψ_1(Ω_2^2+ψ(Ω_2^2+ψ_1(Ω_2^2+Ω))))
(0)(1,1)(2,2)(3,2)(2,1)(2) ψ(Ω_2^2+ψ_1(Ω_2^2+Ω+1))
(0)(1,1)(2,2)(3,2)(2,1)(2,1) ψ(Ω_2^2+ψ_1(Ω_2^2+Ω*2))
(0)(1,1)(2,2)(3,2)(2,1)(3,2) ψ(Ω_2^2+ψ_1(Ω_2^2+ψ_1(Ω_2)))
(0)(1,1)(2,2)(3,2)(2,1)(3,2)(4,2) ψ(Ω_2^2+ψ_1(Ω_2^2+ψ_1(Ω_2^2)))
(0)(1,1)(2,2)(3,2)(2,2) ψ(Ω_2^2+Ω_2)
(0)(1,1)(2,2)(3,2)(2,2)(3) ψ(Ω_2^2+Ω_2*ω)
(0)(1,1)(2,2)(3,2)(2,2)(3,1) ψ(Ω_2^2+Ω_2*Ω)
(0)(1,1)(2,2)(3,2)(2,2)(3,1)(4,2)(5,2) ψ(Ω_2^2+Ω_2*ψ_1(Ω_2^2))
(0)(1,1)(2,2)(3,2)(2,2)(3,2) ψ(Ω_2^2*2)
(0)(1,1)(2,2)(3,2)(3) ψ(Ω_2^2*ω)
(0)(1,1)(2,2)(3,2)(3)(4,1)(5,2)(6,2) ψ(Ω_2^2*ψ(Ω_2^2))
(0)(1,1)(2,2)(3,2)(3,1) ψ(Ω_2^2*Ω)
(0)(1,1)(2,2)(3,2)(3,1)(4,2) ψ(Ω_2^2*ψ_1(Ω_2))
(0)(1,1)(2,2)(3,2)(3,2) ψ(Ω_2^3)
(0)(1,1)(2,2)(3,2)(4) ψ(Ω_2^ω)
(0)(1,1)(2,2)(3,2)(4)(1,1)(2,2)(3,2)(4) ψ(Ω_2^ω+ψ_1(Ω_2^ω))
(0)(1,1)(2,2)(3,2)(4)(2) ψ(Ω_2^ω+ψ_1(Ω_2^ω+1))
(0)(1,1)(2,2)(3,2)(4)(2,1) ψ(Ω_2^ω+ψ_1(Ω_2^ω+Ω))
(0)(1,1)(2,2)(3,2)(4)(2,1)(3,2)(4,2)(5) ψ(Ω_2^ω+ψ_1(Ω_2^ω+ψ_1(Ω_2^ω)))
(0)(1,1)(2,2)(3,2)(4)(2,2) ψ(Ω_2^ω+Ω_2)
(0)(1,1)(2,2)(3,2)(4)(2,2)(3,1) ψ(Ω_2^ω+Ω_2*Ω)
(0)(1,1)(2,2)(3,2)(4)(2,2)(3,2)(4) ψ(Ω_2^ω*2)
(0)(1,1)(2,2)(3,2)(4)(3,1) ψ(Ω_2^ω*Ω)
(0)(1,1)(2,2)(3,2)(4)(3,2) ψ(Ω_2^(ω+1))
(0)(1,1)(2,2)(3,2)(4)(4) ψ(Ω_2^ψ(2))
(0)(1,1)(2,2)(3,2)(4,1) ψ(Ω_2^Ω)
(0)(1,1)(2,2)(3,2)(4,1)(5,2) ψ(Ω_2^ψ_1(Ω_2))
(0)(1,1)(2,2)(3,2)(4,1)(5,2)(6,2) ψ(Ω_2^ψ_1(Ω_2^2))
(0)(1,1)(2,2)(3,2)(4,2) ψ(Ω_2^Ω_2)
(0)(1,1)(2,2)(3,2)(4,2)(2,2)(3,2)(4,1)(5,2)(6,2)(7,2) ψ(Ω_2^Ω_2+Ω_2^ψ_1(Ω_2^Ω_2))
(0)(1,1)(2,2)(3,2)(4,2)(2,2)(3,2)(4,2) ψ(Ω_2^Ω_2*2)
(0)(1,1)(2,2)(3,2)(4,2)(3,1) ψ(Ω_2^Ω_2*Ω)
(0)(1,1)(2,2)(3,2)(4,2)(3,2) ψ(Ω_2^(Ω_2+1))
(0)(1,1)(2,2)(3,2)(4,2)(3,2)(4,1) ψ(Ω_2^(Ω_2+Ω))
(0)(1,1)(2,2)(3,2)(4,2)(3,2)(4,2) ψ(Ω_2^(Ω_2*2))
(0)(1,1)(2,2)(3,2)(4,2)(4,1) ψ(Ω_2^(Ω_2*Ω))
(0)(1,1)(2,2)(3,2)(4,2)(4,2) ψ(Ω_2^Ω_2^2)
(0)(1,1)(2,2)(3,2)(4,2)(5) ψ(Ω_2^Ω_2^ω)
(0)(1,1)(2,2)(3,2)(4,2)(5,2) ψ(Ω_2^Ω_2^Ω_2)
(0)(1,1)(2,2)(3,3) ψ(Ω_3)=ψ(ε(Ω_2+1))
(0)(1,1)(2,2)(3,3)(1,1) ψ(Ω_3+Ω)
(0)(1,1)(2,2)(3,3)(1,1)(2,2)(3,3) ψ(Ω_3+ψ_1(Ω_3))
(0)(1,1)(2,2)(3,3)(2,1) ψ(Ω_3+ψ_1(Ω_3+Ω))
(0)(1,1)(2,2)(3,3)(2,2) ψ(Ω_3+Ω_2)
(0)(1,1)(2,2)(3,3)(2,2)(3,3) ψ(Ω_3+ψ_2(Ω_3))
(0)(1,1)(2,2)(3,3)(3) ψ(Ω_3+ψ_2(Ω_3+1))
(0)(1,1)(2,2)(3,3)(3,2)(4,3) ψ(Ω_3+ψ_2(Ω_3+ψ_2(Ω_3)))
(0)(1,1)(2,2)(3,3)(3,3) ψ(Ω_3*2)
(0)(1,1)(2,2)(3,3)(4,2) ψ(Ω_3*Ω_2)
(0)(1,1)(2,2)(3,3)(4,2)(5,3) ψ(Ω_3*ψ_2(Ω_3))
(0)(1,1)(2,2)(3,3)(4,3) ψ(Ω_3^2)
(0)(1,1)(2,2)(3,3)(4,3)(3,3)(4,2)(5,3)(6,3) ψ(Ω_3^2+Ω_3*ψ_2(Ω_3^2))
(0)(1,1)(2,2)(3,3)(4,3)(3,3)(4,3) ψ(Ω_3^2*2)
(0)(1,1)(2,2)(3,3)(4,3)(4,3) ψ(Ω_3^3)
(0)(1,1)(2,2)(3,3)(4,3)(5,3) ψ(Ω_3^Ω_3)
(0)(1,1)(2,2)(3,3)(4,3)(5,3)(3,3)(4,3)(5,2)(6,3)(7,3)(8,3) ψ(Ω_3^Ω_3+Ω_3^ψ_2(Ω_3^Ω_3))
(0)(1,1)(2,2)(3,3)(4,3)(5,3)(3,3)(4,3)(5,3) ψ(Ω_3^Ω_3*2)
(0)(1,1)(2,2)(3,3)(4,3)(5,3)(4,3) ψ(Ω_3^(Ω_3+1))
(0)(1,1)(2,2)(3,3)(4,3)(5,3)(5,3) ψ(Ω_3^Ω_3^2)
(0)(1,1)(2,2)(3,3)(4,3)(5,3)(6,3) ψ(Ω_3^^3)
(0)(1,1)(2,2)(3,3)(4,4) ψ(Ω_4)
(0)(1,1,1) ψ(Ω_ω)=BO
检索自“http://wiki.googology.top/index.php?title=BMS分析Part1：0~BO&oldid=2306”
最后修改时间
此页面最后编辑于2025年8月23日 (星期六) 19:53。
著作权
除非另有声明，本网站内容采用知识共享署名-相同方式共享授权。
浏览数据
此页面已被访问过256次。