查看“︁BMS分析Part5：pLRO~TSSO”︁的源代码

本词条是[[BMS]]分析的第五部分
{| class="wikitable"
|BMS
|Standard([[序数坍缩函数#BOCF|BOCF]]/[[投影序数]])
|-
|(0)(1,1,1)(2,2,2)
|ψ(ψ_α(α_ω)) = Lαrge Rαthjen's Ordinαl
|-
|(0)(1,1,1)(2,2,2)(2)
|ψ(ψ_α(α_ω+1))
|-
|(0)(1,1,1)(2,2,2)(2,1)
|ψ(ψ_α(α_ω+Ω))
|-
|(0)(1,1,1)(2,2,2)(2,1)(3,2)
|ψ(ψ_α(α_ω+α))
|-
|(0)(1,1,1)(2,2,2)(2,1,1)
|ψ(ψ_α(α_ω+Ω(α+1)*ω))
|-
|(0)(1,1,1)(2,2,2)(2,1,1)(3,2,1)
|ψ(ψ_α(α_ω+I(α+1)*ω))
|-
|(0)(1,1,1)(2,2,2)(2,1,1)(3,2,2)
|ψ(ψ_α(α_ω+ψ_α_2(α_ω)))
|-
|(0)(1,1,1)(2,2,2)(2,2)
|ψ(ψ_α(α_ω+α_2))
|-
|(0)(1,1,1)(2,2,2)(2,2)(3,2)
|ψ(ψ_α(α_ω+α_2^2))
|-
|(0)(1,1,1)(2,2,2)(2,2)(3,2)(4,1,1)(5,2,2)
|ψ(ψ_α(α_ω+α_2^ψ_α_2(α_ω)))
|-
|(0)(1,1,1)(2,2,2)(2,2)(3,2)(4,1,1)(5,2,2)(3,1,1)
|ψ(ψ_α(α_ω+α_2^ψ_α_2(α_ω)*Ω(α+1)*ω))
|-
|(0)(1,1,1)(2,2,2)(2,2,1)
|ψ(ψ_α(α_ω+Ω(α_2+1)+ψ_α_2(α_ω+Ω(α_2+1)+1)))
|-
|(0)(1,1,1)(2,2,2)(2,2,1)(3,2,1)
|ψ(ψ_α(α_ω+I(α_2+1)+ψ_α_2(α_ω+I(α_2+1)+1)))
|-
|(0)(1,1,1)(2,2,2)(2,2,1)(3,3,2)
|ψ(ψ_α(α_ω+ψ_α_3(α_ω)))
|-
|(0)(1,1,1)(2,2,2)(2,2,1)(3,3,2)(3,3)
|ψ(ψ_α(α_ω+α_3))
|-
|(0)(1,1,1)(2,2,2)(2,2,1)(3,3,2)(3,3)(4,3)(5,2,1)(6,3,2)
|ψ(ψ_α(α_ω+α_3^ψ_α_3(α_ω)))
|-
|(0)(1,1,1)(2,2,2)(2,2,2)
|ψ(ψ_α(α_ω*2))
|-
|(0)(1,1,1)(2,2,2)(3)
|ψ(ψ_α(α_ω*ω))
|-
|(0)(1,1,1)(2,2,2)(3,1)(2)
|ψ(ψ_α(α_ω*α))
|-
|(0)(1,1,1)(2,2,2)(3,1,1)
|ψ(ψ_α(α_ω*Ω(α+1)+ψ_α_2(α_ω*Ω(α+1)+1)))
|-
|(0)(1,1,1)(2,2,2)(3,1,1)(4,2,2)
|ψ(ψ_α(α_ω*ψ_α_2(α_ω))
|-
|(0)(1,1,1)(2,2,2)(3,2)
|ψ(ψ_α(α_ω*α_2)
|-
|(0)(1,1,1)(2,2,2)(3,2)(2,2)
|ψ(ψ_α(α_ω*α_2+α_2)
|-
|(0)(1,1,1)(2,2,2)(3,2)(2,2,1)
|ψ(ψ_α(α_ω*α_2+Ω(α_2+1)*ω)
|-
|(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)
|ψ(ψ_α(α_ω*α_2+ψ_α_3(α_ω))
|-
|(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,1)(2)
|ψ(ψ_α(α_ω*α_2+ψ_α_3(α_ω*α)))
|-
|(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,1,1)(5,2,2)
|ψ(ψ_α(α_ω*α_2+ψ_α_3(α_ω*ψ_α_2(α_ω))))
|-
|(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,1,1)(5,2,2)(6,2)
|ψ(ψ_α(α_ω*α_2+ψ_α_3(α_ω*ψ_α_2(α_ω*α_2))))
|-
|(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,1,1)(5,2,2)(6,2)(3,3,2)
|ψ(ψ_α(α_ω*α_2+ψ_α_3(α_ω*ψ_α_2(α_ω*α_2)+α_ω)))
|-
|(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)
|ψ(ψ_α(α_ω*α_2+ψ_α_3(α_ω*α_2))
|-
|(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,2)
|ψ(ψ_α(α_ω*α_2+α_ω)
|-
|(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(4)
|ψ(ψ_α(α_ω*α_2*ω)
|-
|(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(5,3)
|ψ(ψ_α(α_ω*ε(α_2+1))
|-
|(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2,1)
|ψ(ψ_α(α_ω*Ω_(α_2+1)+ψ_α_2(α_ω*Ω_(α_2+1)+1)))
|-
|(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2,1)(5,3)
|ψ(ψ_α(α_ω*Π_ω[α_2+1]))
|-
|(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2,1)(5,3,1)
|ψ(ψ_α(α_ω*ψ_α_3(Ω(α_3+2)*ω)+ψ_α_2(α_ω*ψ_α_3(Ω(α_3+2)*ω)+1)))?
|-
|(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2,1)(5,3,2)
|ψ(ψ_α(α_ω*ψ_α_3(α_ω))
|-
|(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)
|ψ(ψ_α(α_ω*α_3))
|-
|(0)(1,1,1)(2,2,2)(3,2)(2,2,2)
|ψ(ψ_α(α_ω^2))
|-
|(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3,2)(2,2,2)
|ψ(ψ_α(α_ω^2*2))
|-
|(0)(1,1,1)(2,2,2)(3,2)(3)
|ψ(ψ_α(α_ω^2*ω))
|-
|(0)(1,1,1)(2,2,2)(3,2)(3,2)(2,2,2)
|ψ(ψ_α(α_ω^3))
|-
|(0)(1,1,1)(2,2,2)(3,2)(4)
|ψ(ψ_α(α_ω^ω))
|-
|(0)(1,1,1)(2,2,2)(3,2)(4,1)(2)
|ψ(ψ_α(α_ω^α))
|-
|(0)(1,1,1)(2,2,2)(3,2)(4,2)
|ψ(ψ_α(α_ω^α_2))
|-
|(0)(1,1,1)(2,2,2)(3,2)(4,2)(2,2,2)
|ψ(ψ_α(α_ω^α_ω))
|-
|(0)(1,1,1)(2,2,2)(3,2)(4,2)(5,2)
|ψ(ψ_α(α_ω^α_ω^α_2))
|-
|(0)(1,1,1)(2,2,2)(3,2)(4,2)(5,2)(2,2,2)
|ψ(ψ_α(α_ω^α_ω^α_ω))
|-
|(0)(1,1,1)(2,2,2)(3,2)(4,3)
|ψ(ψ_α(ε(α_ω+1)))
|-
|(0)(1,1,1)(2,2,2)(3,2)(4,3,1)(5,4,2)
|ψ(ψ_α(ψ_Ω(α_ω+1)(ψ_α_(ω+1)(α_(ω2)))))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)
|ψ(ψ_α(Ω(α_ω+1)+ψ_α_2(Ω(α_ω+1)+1)))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)(2,2,1)(3,3,2)
|ψ(ψ_α(Ω(α_ω+1)+ψ_α_3(α_ω)))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)(2,2,1)(3,3,2)(4,2)
|ψ(ψ_α(Ω(α_ω+1)+ψ_α_3(α_ω*α_2)))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)(2,2,1)(3,3,2)(4,2)(3,3,2)
|ψ(ψ_α(Ω(α_ω+1)+ψ_α_3(α_ω*(α_2+1))))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)(2,2,1)(3,3,2)(4,2)(4)
|ψ(ψ_α(Ω(α_ω+1)+ψ_α_3(α_ω*α_2*ω)))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)(2,2,1)(3,3,2)(4,2)(5,3)
|ψ(ψ_α(Ω(α_ω+1)+ψ_α_3(α_ω*ε(α_2+1))))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)(2,2,1)(3,3,2)(4,2,1)
|ψ(ψ_α(Ω(α_ω+1)+ψ_α_3(α_ω*Ω(α_2+1))+ψ_α_2(itself+1)))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)(2,2,1)(3,3,2)(4,2,1)(5,3,2)
|ψ(ψ_α(Ω(α_ω+1)+ψ_α_3(α_ω*ψ_α_3(α_ω))))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)(2,2,1)(3,3,2)(4,3)
|ψ(ψ_α(Ω(α_ω+1)+ψ_α_3(α_ω*α_3)))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)(2,2,1)(3,3,2)(4,3)(3,3,2)
|ψ(ψ_α(Ω(α_ω+1)+ψ_α_3(α_ω^2)))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)(2,2,1)(3,3,2)(4,3,1)
|ψ(ψ_α(Ω(α_ω+1)+ψ_α_3(Ω(α_ω+1))+ψ_α_2(itself+1)))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)(2,2,1)(3,3,2)(4,3,1)(3,3)
|ψ(ψ_α(Ω(α_ω+1)+α_3))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)(2,2,1)(3,3,2)(4,3,1)(3,3,1)
|ψ(ψ_α(Ω(α_ω+1)+Ω(α_3+1)+ψ_α_2(itself+1)))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)(2,2,2)
|ψ(ψ_α(Ω(α_ω+1)+α_ω))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)(3,2,1)
|ψ(ψ_α(Ω(α_ω+1)*2+ψ_α_2(Ω(α_ω+1)*2+1)))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)(4)
|ψ(ψ_α(Ω(α_ω+1)*ω))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)(4,1)(2)
|ψ(ψ_α(Ω(α_ω+1)*α))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)(4,2)(2,2,2)
|ψ(ψ_α(Ω(α_ω+1)*α_ω))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)(4,2,1)
|ψ(ψ_α(Ω(α_ω+1)^2+ψ_α_2(Ω(α_ω+1)^2+1)))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)(4,2,1)(5,2,1)
|ψ(ψ_α(Ω(α_ω+1)^Ω(α_ω+1)+ψ_α_2(Ω(α_ω+1)^Ω(α_ω+1)+1)))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)(4,3)
|ψ(ψ_α(α_(ω+1)))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)(4,3,2)
|ψ(ψ_α(α_(ω2)))
|-
|(0)(1,1,1)(2,2,2)(3,2,1)(4,3,2)(5,3,1)(6,4,2)
|ψ(ψ_α(α_(ω3)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)
|ψ(ψ_α(α_(ω^2)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(4,3)
|ψ(ψ_α(α_(ω^2+1)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(3,2,2)
|ψ(ψ_α(α_(ω^3)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,1)(2)
|ψ(ψ_α(α_α))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,1,1)
|ψ(ψ_α(α_Ω(α+1)*ω))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2)
|ψ(ψ_α(α_α_2))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(2,2,2)
|ψ(ψ_α(α_α_ω))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3)
|ψ(ψ_α(ψ_β(α(β+1)*β)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,1)(4,3,2)(5,3,2)(6,3)
|ψ(ψ_α(ψ_β(α(β+1)*β*2)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2)
|ψ(ψ_α(ψ_β(α(β+1)*β*ω)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(5,3)
|ψ(ψ_α(ψ_β(α(β+1)*ε(β+1))))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)
|ψ(ψ_α(ψ_β(α(β+1)*Ω(β+1))+ψ_α_2(ψ_β(α(β+1)*Ω(β+1))+1)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(5,3,2)
|ψ(ψ_α(ψ_β(α(β+1)*ψ_α(β+1)(α(β+ω)))))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)
|ψ(ψ_α(ψ_β(α(β+1)*ψ_α(β+1)(α(β+ω^2)))))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)
|ψ(ψ_α(ψ_β(α(β+1)^2*ω)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)
|ψ(ψ_α(ψ_β(α(β+1)^2*ω^2)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)(4,2)(3)
|ψ(ψ_α(ψ_β(α(β+1)^2*β)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)(4,2)(5,3)
|ψ(ψ_α(ψ_β(α(β+1)^2*ε(β+1))))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)(4,2,1)
|ψ(ψ_α(ψ_β(α(β+1)^2*Ω(β+1))+ψ_α_2(ψ_β(α(β+1)^2*Ω(β+1))+1)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)(4,2,1)(5,3,2)
|ψ(ψ_α(ψ_β(α(β+1)^2*ψ_α(β+1)(α(β+ω)))))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)(4,2,2)
|ψ(ψ_α(ψ_β(α(β+1)^3*ω)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4)
|ψ(ψ_α(ψ_β(α(β+1)^ω)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,1)
|ψ(ψ_α(ψ_β(α(β+1)^Ω)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,1)(1,1,1)
|ψ(ψ_α(ψ_β(α(β+1)^Ω_ω)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,1)(2)
|ψ(ψ_α(ψ_β(α(β+1)^α)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,1,1)
|ψ(ψ_α(ψ_β(α(β+1)^Ω(α+1))+ψ_α_2(ψ_β(α(β+1)^Ω(α+1))+1)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2)
|ψ(ψ_α(ψ_β(α(β+1)^α_2)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2)(2,2,2)
|ψ(ψ_α(ψ_β(α(β+1)^α_ω)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2)(3)
|ψ(ψ_α(ψ_β(α(β+1)^β)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,1)
|ψ(ψ_α(ψ_β(α(β+1)^Ω(β+1))+ψ_α_2(ψ_β(α(β+1)^Ω(β+1))+1)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)
|ψ(ψ_α(ψ_β(α(β+1)^α(β+1)*ω)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(3,2,2)(4,2)(3)
|ψ(ψ_α(ψ_β(α(β+1)^α(β+1)*β)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(3,2,2)(4,2,2)
|ψ(ψ_α(ψ_β(α(β+1)^(α(β+1)+1)*ω)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(3,2,2)(4,2,2)(4,2,2)
|ψ(ψ_α(ψ_β(α(β+1)^(α(β+1)*2)*ω)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(4)
|ψ(ψ_α(ψ_β(α(β+1)^(α(β+1)*ω)*ω)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(4,2,2)
|ψ(ψ_α(ψ_β(α(β+1)^(α(β+1)^2)*ω)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(5)
|ψ(ψ_α(ψ_β(α(β+1)^(α(β+1)^ω))))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(5,1)(2)
|ψ(ψ_α(ψ_β(α(β+1)^(α(β+1)^α))))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(5,2)(3)
|ψ(ψ_α(ψ_β(α(β+1)^(α(β+1)^β))))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(5,2,1)
|ψ(ψ_α(ψ_β(α(β+1)^(α(β+1)^Ω(β+1)))+ψ_α_2(ψ_β(α(β+1)^(α(β+1)^Ω(β+1)))+1)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(5,2,2)
|ψ(ψ_α(ψ_β(α(β+1)^(α(β+1)^α(β+1))*ω)))
|-
|(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(5,2,2)(6,2,2)
|ψ(ψ_α(ψ_β(α(β+1)^^4*ω)))
|-
|(0)(1,1,1)(2,2,2)(3,3)
|ψ(ψ_α(ψ_β(ε(α(β+1)+1))))
|-
|(0)(1,1,1)(2,2,2)(3,3)(4,3)(5,2)(3)
|ψ(ψ_α(ψ_β(φ(β,α(β+1)+1))))
|-
|(0)(1,1,1)(2,2,2)(3,3)(4,3)(5,3)
|ψ(ψ_α(ψ_β(Γ(α(β+1)+1))))
|-
|(0)(1,1,1)(2,2,2)(3,3,1)
|ψ(ψ_α(ψ_β(Ω(α(β+1)+1))+ψ_α_2(ψ_β(Ω(α(β+1)+1))+1)))
|-
|(0)(1,1,1)(2,2,2)(3,3,1)(3,2,2)
|ψ(ψ_α(ψ_β(Ω(α(β+1)+1)*ω)))
|-
|(0)(1,1,1)(2,2,2)(3,3,1)(3,2,2)(4,2)(3)
|ψ(ψ_α(ψ_β(Ω(α(β+1)+1)*β)))
|-
|(0)(1,1,1)(2,2,2)(3,3,1)(3,2,2)(4,2,1)
|ψ(ψ_α(ψ_β(Ω(α(β+1)+1)*Ω(β+1))+ψ_α_2(ψ_β(Ω(α(β+1)+1)*Ω(β+1))+1)))
|-
|(0)(1,1,1)(2,2,2)(3,3,1)(3,2,2)(4,2,2)
|ψ(ψ_α(ψ_β(Ω(α(β+1)+1)*α(β+1)*ω)))
|-
|(0)(1,1,1)(2,2,2)(3,3,1)(3,2,2)(4,3)
|ψ(ψ_α(ψ_β(Ω(α(β+1)+1)*ε(α(β+1)+1))))
|-
|(0)(1,1,1)(2,2,2)(3,3,1)(3,2,2)(4,3,1)
|ψ(ψ_α(ψ_β(Ω(α(β+1)+1)^2)+ψ_α_2(ψ_β(Ω(α(β+1)+1)^2+1)))
|-
|(0)(1,1,1)(2,2,2)(3,3,1)(3,2,2)(4,3,1)(4)
|ψ(ψ_α(ψ_β(Ω(α(β+1)+1)^ω*ω)))
|-
|(0)(1,1,1)(2,2,2)(3,3,1)(3,3)
|ψ(ψ_α(ψ_β(ε(Ω(α(β+1)+1)+1))))
|-
|(0)(1,1,1)(2,2,2)(3,3,1)(3,3,1)
|ψ(ψ_α(ψ_β(Ω(α(β+1)+2))+ψ_α_2(ψ_β(Ω(α(β+1)+2))+1)))
|-
|(0)(1,1,1)(2,2,2)(3,3,1)(4)
|ψ(ψ_α(ψ_β(Ω(α(β+1)+ω))))
|-
|(0)(1,1,1)(2,2,2)(3,3,1)(4,2)
|ψ(ψ_α(ψ_β(Ω(α(β+1)+α_2))))
|-
|(0)(1,1,1)(2,2,2)(3,3,1)(4,2)(3)
|ψ(ψ_α(ψ_β(Ω(α(β+1)+β))))
|-
|(0)(1,1,1)(2,2,2)(3,3,1)(4,2,1)
|ψ(ψ_α(ψ_β(Ω(α(β+1)+Ω(β+1)))+ψ_α_2(ψ_β(Ω(α(β+1)+Ω(β+1)))+1)))
|-
|(0)(1,1,1)(2,2,2)(3,3,1)(4,2,2)
|ψ(ψ_α(ψ_β(Ω(α(β+1)2)*ω)))
|-
|(0)(1,1,1)(2,2,2)(3,3,1)(4,2,2)(5,3)
|ψ(ψ_α(ψ_β(Ω(ε(α(β+1)+1)))))
|-
|(0)(1,1,1)(2,2,2)(3,3,1)(4,2,2)(5,3,1)
|ψ(ψ_α(ψ_β(Ω(Ω(α(β+1)+1)))+ψ_α_2(ψ_β(Ω(Ω(α(β+1)+1)))+1)))
|-
|(0)(1,1,1)(2,2,2)(3,3,1)(4,3)
|ψ(ψ_α(ψ_β(Λ(α(β+1)+1))))
|-
|(0)(1,1,1)(2,2,2)(3,3,1)(4,3,1)
|ψ(ψ_α(ψ_β(I(α(β+1)+1))+ψ_α_2ψ_β(I(α(β+1)+1))+1)))
|-
|(0)(1,1,1)(2,2,2)(3,3,1)(4,3,1)(5,3,1)
|ψ(ψ_α(ψ_β(M(α(β+1)+1))+ψ_α_2(ψ_β(M(α(β+1)+1))+1)))
|-
|(0)(1,1,1)(2,2,2)(3,3,1)(4,4)
|ψ(ψ_α(ψ_β(ψ_α(β+2)(α(β+3)))))
|-
|(0)(1,1,1)(2,2,2)(3,3,1)(4,4,2)
|ψ(ψ_α(ψ_β(ψ_α(β+2)(α(β+ω)))))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)
|ψ(ψ_α(ψ_β(α(β+2)*ω)))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(3,2,2)
|ψ(ψ_α(ψ_β(α(β+2)*ω^2)))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(3,2,2)(4,2)(3)
|ψ(ψ_α(ψ_β(α(β+2)*β)))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(3,2,2)(4,2,2)
|ψ(ψ_α(ψ_β(α(β+2)*α(β+1)*ω)))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(3,2,2)(4,2,2)(5,2,2)
|ψ(ψ_α(ψ_β(α(β+2)*α(β+1)^2*ω)))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(3,2,2)(4,3)
|ψ(ψ_α(ψ_β(α(β+2)*ε(α(β+1)+1))))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(3,2,2)(4,3,1)
|ψ(ψ_α(ψ_β(α(β+2)*Ω(α(β+1)+1))+ψ_α_2(ψ_β(α(β+2)*Ω(α(β+1)+1))+1)))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(3,2,2)(4,3,1)(5,3,1)
|ψ(ψ_α(ψ_β(α(β+2)*I(α(β+1)+1))+ψ_α_2(ψ_β(α(β+2)*I(α(β+1)+1))+1)))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(3,2,2)(4,3,1)(5,4,2)
|ψ(ψ_α(ψ_β(α(β+2)*ψ_α(β+2)(α(β+ω)))))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(3,2,2)(4,3,2)
|ψ(ψ_α(ψ_β(α(β+2)^2*ω)))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(3,2,2)(4,3,2)(4)
|ψ(ψ_α(ψ_β(α(β+2)^ω)))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(3,3)
|ψ(ψ_α(ψ_β(ε(α(β+2)+1))))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(3,3,1)
|ψ(ψ_α(ψ_β(Ω(α(β+2)+1))+ψ_α_2(ψ_β(Ω(α(β+2)+1))+1)))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(3,3,1)(4)
|ψ(ψ_α(ψ_β(Ω(α(β+2)+ω))))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(3,3,1)(4,4,2)
|ψ(ψ_α(ψ_β(ψ_α(β+3)(α(β+ω)))))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(3,3,2)
|ψ(ψ_α(ψ_β(α(β+3)*ω)))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(3,3,2)(3,3,2)
|ψ(ψ_α(ψ_β(α(β+4)*ω)))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(4)
|ψ(ψ_α(ψ_β(α(β+ω))))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(4,1)(2)
|ψ(ψ_α(ψ_β(α(β+α))))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(4,2)(3)
|ψ(ψ_α(ψ_β(α(β2))))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(4,2,1)
|ψ(ψ_α(ψ_β(α(Ω(β+1)))+ψ_α_2(ψ_β(α(Ω(β+1)))+1)))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(4,2,2)
|ψ(ψ_α(ψ_β(α(α(β+1))*ω)))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(4,3)
|ψ(ψ_α(ψ_β(α(β_2+1)*β_2)))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(4,3,1)
|ψ(ψ_α(ψ_β(α(β_2+1)*Ω(β_2+1))+ψ_α_2(ψ_β(α(β_2+1)*Ω(β_2+1))+1)))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(4,3,2)
|ψ(ψ_α(ψ_β(α(β_2+1)^2+ψ_β_2(α(β_2+1)^2+1))))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(4,4)
|ψ(ψ_α(ψ_β(ε(α(β_2+1)+1))))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(4,4,2)(5,3)
|ψ(ψ_α(ψ_β(α(β_2*2))))
|-
|(0)(1,1,1)(2,2,2)(3,3,2)(4,4,2)(5,5)
|ψ(ψ_α(ψ_β(ε(α(β_3+1)+1))))
|-
|(0)(1,1,1)(2,2,2)(3,3,3)
|ψ(ψ_α(ψ_β(β_ω))) ≈ DNA Ordinαl
|-
|(0)(1,1,1)(2,2,2)(3,3,3)(4,4)
|ψ(ψ_α(ψ_β(ψ_γ(ε(β(γ+1)+1)))))
|-
|(0)(1,1,1)(2,2,2)(3,3,3)(4,4,1)
|ψ(ψ_α(ψ_β(ψ_γ(Ω(β(γ+1)+2)))+ψ_α_2(ψ_β(ψ_γ(Ω(β(γ+1)+2)))+1)))
|-
|(0)(1,1,1)(2,2,2)(3,3,3)(4,4,2)
|ψ(ψ_α(ψ_β(ψ_γ(α(β(γ+1)+2))+ψ_β_2(ψ_γ(α(β(γ+1)+2))+1))))
|-
|(0)(1,1,1)(2,2,2)(3,3,3)(4,4,3)
|ψ(ψ_α(ψ_β(ψ_γ(β(γ+2)*ω))))
|-
|(0)(1,1,1)(2,2,2)(3,3,3)(4,4,3)(5,5)
|ψ(ψ_α(ψ_β(ψ_γ(ε(β(γ_2+1)+1)))))
|-
|(0)(1,1,1)(2,2,2)(3,3,3)(4,4,4)
|ψ(ψ_α(ψ_β(ψ_γ(γ_ω))))
|-
|(0)(1,1,1)(2,2,2)(3,3,3)(4,4,4)(5,5,5)
|ψ(ψ_α(ψ_β(ψ_γ(ψ_δ(δ_ω)))))
|-
|(0)(1,1,1,1)
|ψ(ψS(σS*ω)) = Trio Sequence System Ordinαl
|}
[[分类:分析]]