BMS分析Part4：SSO~pLRO
来自Googology Wiki
更多操作
本词条展示BMS分析的第四部分
| BMS | Standard（BOCF/Σ1稳定序数） |
| (0)(1,1,1)(2,2) | ψ(λa.a+1-Π0) = Small Sterget's Ordinal |
| (0)(1,1,1)(2,2)(1) | ψ(λa.a+1-Π0+1) |
| (0)(1,1,1)(2,2)(1,1) | ψ(λa.a+1-Π0+Ω) |
| (0)(1,1,1)(2,2)(1,1,1) | ψ(λa.a+1-Π0+Ω_ω) |
| (0)(1,1,1)(2,2)(1,1,1)(2,2) | ψ((λa.a+1-Π0)*2) |
| (0)(1,1,1)(2,2)(2) | ψ((λa.a+1-Π0)*ω) |
| (0)(1,1,1)(2,2)(2,1) | ψ((λa.a+1-Π0)*Ω) |
| (0)(1,1,1)(2,2)(2,1)(1,1,1) | ψ((λa.a+1-Π0)*Ω_ω) |
| (0)(1,1,1)(2,2)(2,1)(1,1,1)(2,2) | ψ((λa.a+1-Π0)^2) |
| (0)(1,1,1)(2,2)(2,1)(2) | ψ((λa.a+1-Π0)^2*ω) |
| (0)(1,1,1)(2,2)(2,1)(2,1) | ψ((λa.a+1-Π0)^2*Ω) |
| (0)(1,1,1)(2,2)(2,1)(3) | ψ((λa.a+1-Π0)^ω) |
| (0)(1,1,1)(2,2)(2,1)(3,2) | ψ(Π_2 aft λa.a+1-Π0) |
| (0)(1,1,1)(2,2)(2,1)(3,2,1) | ψ(1-2 aft λa.a+1-Π0) |
| (0)(1,1,1)(2,2)(2,1)(3,2,1)(4,3) | ψ(2nd λa.a+1-Π0) |
| (0)(1,1,1)(2,2)(2,1,1) | ψ(Π_1(λa.a+1-Π0)) |
| (0)(1,1,1)(2,2)(2,1,1)(3,1)(2) | ψ(2 1-(λa.a+1-Π0)) |
| (0)(1,1,1)(2,2)(2,1,1)(3,1,1) | ψ(1-2 1-(λa.a+1-Π0)) |
| (0)(1,1,1)(2,2)(2,1,1)(3,1,1)(4,1,1) | ψ(1-3 1-(λa.a+1-Π0)) |
| (0)(1,1,1)(2,2)(2,1,1)(3,2) | ψ(λa.a+1-Π0 1-(λa.a+1-Π0)) |
| (0)(1,1,1)(2,2)(2,1,1)(3,2)(2,1,1) | ψ(1-λa.a+1-Π0 1-(λa.a+1-Π0)) |
| (0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1) | ψ((λa.a+1-Π0 1-)^Ω) |
| (0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1)(2) | ψ(2-λa.a+1-Π0) |
| (0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1) | ψ(1-2-λa.a+1-Π0) |
| (0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,1)(2) | ψ(3 2-λa.a+1-Π0) |
| (0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,1,1) | ψ(1-3 2-λa.a+1-Π0) |
| (0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,2) | ψ(λa.a+1-Π0 2-λa.a+1-Π0) |
| (0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,2)(4,1,1) | ψ(1-3-λa.a+1-Π0) |
| (0)(1,1,1)(2,2)(2,2) | ψ(λa.a+1-Π0(λa.a+1-Π0)) |
| (0)(1,1,1)(2,2)(2,2)(2,1,1) | ψ(Π1(λa.a+1-Π0(λa.a+1-Π0))) |
| (0)(1,1,1)(2,2)(2,2)(2,1,1)(3,2) | ψ((λa.a+1-Π0)∩Π1(λa.a+1-Π0(λa.a+1-Π0))) |
| (0)(1,1,1)(2,2)(2,2)(2,1,1)(3,2)(3,2) | ψ(λa.a+1-Π0(λa.a+1-Π0)∩Π1(λa.a+1-Π0(λa.a+1-Π0))) |
| (0)(1,1,1)(2,2)(2,2)(2,1,1)(3,2)(3,2)(3,1,1) | ψ(2-(λa.a+1-Π0(λa.a+1-Π0))) |
| (0)(1,1,1)(2,2)(2,2)(2,2) | ψ(λa.a+1-Π0(λa.a+1-Π0(λa.a+1-Π0))) |
| (0)(1,1,1)(2,2)(3) | ψ((λa.a+1-Π0-)^ω) |
| (0)(1,1,1)(2,2)(3,1) | ψ((λa.a+1-Π0-)^Ω) |
| (0)(1,1,1)(2,2)(3,1)(2) | ψ((λa.a+1-Π0-)^(1,0)) |
| (0)(1,1,1)(2,2)(3,1)(2,1) | ψ((λa.a+1-Π0-)^(1,0)*Ω) |
| (0)(1,1,1)(2,2)(3,1)(2,1)(3,2,1)(4,3)(5,2) | ψ(2nd (λa.a+1-Π0-)^(1,0)) |
| (0)(1,1,1)(2,2)(3,1)(2,1,1) | ψ(1-(λa.a+1-Π0-)^(1,0)) |
| (0)(1,1,1)(2,2)(3,1)(2,1,1)(3,1,1) | ψ(1-2 1-(λa.a+1-Π0-)^(1,0)) |
| (0)(1,1,1)(2,2)(3,1)(2,1,1)(3,2) | ψ((λa.a+1-Π0)∩Π1(λa.a+1-Π0-)^(1,0)) |
| (0)(1,1,1)(2,2)(3,1)(2,1,1)(3,2)(4,1) | ψ((λa.a+1-Π0-)^Ω∩Π1(λa.a+1-Π0-)^(1,0)) |
| (0)(1,1,1)(2,2)(3,1)(2,1,1)(3,2)(4,1)(2) | ψ((λa.a+1-Π0-)^(1,0)∩Π1(λa.a+1-Π0-)^(1,0)) |
| (0)(1,1,1)(2,2)(3,1)(2,1,1)(3,2)(4,1)(3,1,1) | ψ(1-2-(λa.a+1-Π0-)^(1,0)) |
| (0)(1,1,1)(2,2)(3,1)(2,1,1)(3,2)(4,1)(3,1,1)(4,2)(5,1)(4,1,1) | ψ(1-3-(λa.a+1-Π0-)^(1,0)) |
| (0)(1,1,1)(2,2)(3,1)(2,2) | ψ((λa.a+1-Π0-)^(1,1)) |
| (0)(1,1,1)(2,2)(3,1)(3,1) | ψ((λa.a+1-Π0-)^(Ω)) |
| (0)(1,1,1)(2,2)(3,1)(4,2) | ψ(2 aft λa.a+1-Π1) |
| (0)(1,1,1)(2,2)(3,1)(4,2,1)(5,3) | ψ(λa.a+1-Π0 aft λa.a+1-Π1) |
| (0)(1,1,1)(2,2)(3,1)(4,2,1)(5,3)(6,1) | ψ(λa.a+1-Π0-^Ω aft λa.a+1-Π1) |
| (0)(1,1,1)(2,2)(3,1)(4,2,1)(5,3)(6,1)(2) | ψ(λa.a+1-Π0-^(1,0) aft λa.a+1-Π1) |
| (0)(1,1,1)(2,2)(3,1)(4,2,1)(5,3)(6,2) | ψ(2 aft 2nd λa.a+1-Π1) |
| (0)(1,1,1)(2,2)(3,1)(4,2,1)(5,3)(6,2)(7,3,1)(8,4)(9,3) | ψ(2 aft 3rd λa.a+1-Π1) |
| (0)(1,1,1)(2,2)(3,1,1) | ψ(Π1(λa.a+1-Π1)) |
| (0)(1,1,1)(2,2)(3,1,1)(2,2) | ψ(λa.a+1-Π0(λa.a+1-Π1)) |
| (0)(1,1,1)(2,2)(3,1,1)(2,2)(3,1,1) | ψ(λa.a+1-Π1∩λa.a+1-Π0(λa.a+1-Π1)) |
| (0)(1,1,1)(2,2)(3,1,1)(3,1)(2) | ψ(λa.a+1-Π1(λa.a+1-Π1)) |
| (0)(1,1,1)(2,2)(3,1,1)(3,1,1) | ψ(Π1(λa.a+1-Π1(λa.a+1-Π1))) |
| (0)(1,1,1)(2,2)(3,1,1)(4,1)(2) | ψ((λa.a+1-Π1-)^(1,0)) |
| (0)(1,1,1)(2,2)(3,1,1)(4,1,1) | ψ(1-λa.a+1-Π2) |
| (0)(1,1,1)(2,2)(3,1,1)(4,1,1)(5,1,1) | ψ(1-λa.a+1-Π3) |
| (0)(1,1,1)(2,2)(3,1,1)(4,2) | ψ(λa.a+2-Π0) |
| (0)(1,1,1)(2,2)(3,1,1)(4,2)(2,2) | ψ(λa.a+1-Π0(λa.a+2-Π0)) |
| (0)(1,1,1)(2,2)(3,1,1)(4,2)(3,1,1) | ψ(1-λa.a+1-Π1(λa.a+2-Π0)) |
| (0)(1,1,1)(2,2)(3,1,1)(4,2)(3,1,1)(4,2)(4,1,1) | ψ(1-λa.a+1-Π2(λa.a+2-Π0)) |
| (0)(1,1,1)(2,2)(3,1,1)(4,2)(4,2) | ψ(λa.a+2-Π0(λa.a+2-Π0)) |
| (0)(1,1,1)(2,2)(3,1,1)(4,2)(5,1)(2) | ψ((λa.a+2-Π0-)^(1,0)) |
| (0)(1,1,1)(2,2)(3,1,1)(4,2)(5,1,1) | ψ(Π1(λa.a+2-Π1)) |
| (0)(1,1,1)(2,2)(3,1,1)(4,2)(5,1,1)(6,1,1) | ψ(Π1(λa.a+2-Π2)) |
| (0)(1,1,1)(2,2)(3,1,1)(4,2)(5,1,1)(6,2) | ψ(λa.a+3-Π0) |
| (0)(1,1,1)(2,2)(3,1,1)(4,2)(5,1,1)(6,2)(7,1,1)(8,2) | ψ(λa.a+4-Π0) |
| (0)(1,1,1)(2,2)(3,2) | ψ(λa.a+ω-Π0) |
| (0)(1,1,1)(2,2)(3,2)(2,2) | ψ(λa.a+1-Π0(λa.a+ω-Π0)) |
| (0)(1,1,1)(2,2)(3,2)(3,1)(2) | ψ(λa.a+1-Π0-^(1,0) (λa.a+ω-Π0)) |
| (0)(1,1,1)(2,2)(3,2)(3,1,1) | ψ(λa.a+ω-Π1) |
| (0)(1,1,1)(2,2)(3,2)(3,1,1)(4,2) | ψ(λa.a+ω+1-Π0) |
| (0)(1,1,1)(2,2)(3,2)(3,1,1)(4,2)(4,1,1) | ψ(Π1(λa.a+ω+1-Π0)) |
| (0)(1,1,1)(2,2)(3,2)(3,1,1)(4,2)(4,2) | ψ(λa.a+1-Π0(λa.a+ω+1-Π0)) |
| (0)(1,1,1)(2,2)(3,2)(3,1,1)(4,2)(5,1,1) | ψ(Π1(λa.a+1-Π0(λa.a+ω+1-Π0))) |
| (0)(1,1,1)(2,2)(3,2)(3,1,1)(4,2)(5,2) | ψ(λa.a+ω2-Π0) |
| (0)(1,1,1)(2,2)(3,2)(3,2) | ψ(λa.a+ω^2-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4) | ψ(λa.a+ω^ω-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1)(1,1,1) | ψ(λa.a+Ω_ω-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1)(1,1,1)(2,2) | ψ(λa.a+(λa.a+1-Π0)-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1)(1,1,1)(2,2)(3,2) | ψ(λa.a+(λa.a+ω-Π0)-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1)(2) | ψ(λa.a*2-Π0) = Large Stegert's Ordinal |
| (0)(1,1,1)(2,2)(3,2)(4,1)(2,1,1) | ψ(Π1(λa.a*2-Π0)) |
| (0)(1,1,1)(2,2)(3,2)(4,1)(2,2) | ψ(λa.a+1-Π0(λa.a*2-Π0)) |
| (0)(1,1,1)(2,2)(3,2)(4,1)(2,2)(3,2)(4,1)(1,1,1)(2,2)(3,2)(4,1)(2) | ψ(λa.a+(λa.a*2-Π0)-Π0(λa.a*2-Π0)) |
| (0)(1,1,1)(2,2)(3,2)(4,1)(2,2)(3,2)(4,1)(2) | ψ(λa.a*2-Π0(λa.a*2-Π0)) |
| (0)(1,1,1)(2,2)(3,2)(4,1)(3,1)(2) | ψ((λa.a*2-Π0-)^(1,0)) |
| (0)(1,1,1)(2,2)(3,2)(4,1)(3,1,1) | ψ(λa.a*2-Π1) |
| (0)(1,1,1)(2,2)(3,2)(4,1)(3,1,1)(4,1,1) | ψ(λa.a*2-Π2) |
| (0)(1,1,1)(2,2)(3,2)(4,1)(3,1,1)(4,2) | ψ(λa.a*2+1-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1)(3,1,1)(4,2)(5,2) | ψ(λa.a*2+ω-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1)(3,1,1)(4,2)(5,2)(6,1)(2) | ψ(λa.a*3-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1)(3,2) | ψ(λa.a*ω-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1)(3,2)(4,1) | ψ(λa.a*Ω-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1)(3,2)(4,1)(2) | ψ(λa.a^2-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1)(4) | ψ(λa.a^ω-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1)(5) | ψ(λa.a^a^ω-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1)(5,2) | ψ(λa.ε(a+1)-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1)(5,2,1) | ψ(λa.ψΩ_(a+1)(Ω_(a+ω))-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1)(5,2,1)(6,3) | ψ(λa.ψΩ_(a+1)(λa.a+1-Π0 aft a)-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1,1) | ψ(1-λa.Ω(a+1)-Π1) = Admissible-pfec Ordinal |
| (0)(1,1,1)(2,2)(3,2)(4,1,1)(2,1,1) | ψ(1-1-a.Ω(a+1)-Π1) |
| (0)(1,1,1)(2,2)(3,2)(4,1,1)(2,2) | ψ(ω-λa.Ω(a+1)-Π1) |
| (0)(1,1,1)(2,2)(3,2)(4,1,1)(2,2)(3,2)(4,1,1) | ψ(λa.Ω(a+1)-Π1-λa.Ω(a+1)-Π1) |
| (0)(1,1,1)(2,2)(3,2)(4,1,1)(3,1) | ψ((λa.Ω(a+1)-Π1-)^Ω) |
| (0)(1,1,1)(2,2)(3,2)(4,1,1)(3,1)(2) | ψ((λa.Ω(a+1)-Π1-)^(1,0)) |
| (0)(1,1,1)(2,2)(3,2)(4,1,1)(3,1,1) | ψ(1-λa.Ω(a+1)-Π2) |
| (0)(1,1,1)(2,2)(3,2)(4,1,1)(3,1,1)(4,2) | ψ(λa.Ω(a+1)+1-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1,1)(3,1,1)(4,2)(5,1)(2) | ψ(λa.Ω(a+1)+a-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1,1)(3,1,1)(4,2)(5,2)(6,1,1) | ψ(1-λa.Ω(a+1)2-Π1) |
| (0)(1,1,1)(2,2)(3,2)(4,1,1)(3,2) | ψ(λa.Ω(a+1)ω-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1,1)(3,2)(4,1,1) | ψ(1-λa.Ω(a+1)^2-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1,1)(4,1)(2) | ψ(λa.Ω(a+1)^a-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1,1)(4,1,1) | ψ(1-λa.Ω(a+1)^Ω(a+1)-Π1) |
| (0)(1,1,1)(2,2)(3,2)(4,1,1)(5,2) | ψ(λa.ε(Ω(a+1)+1)-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1,1)(5,2)(6,1)(2) | ψ(λa.ε(Ω(a+1)+a)-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1,1)(5,2)(6,2)(7,1)(2) | ψ(λa.φ(a,Ω(a+1)+1)-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,1,1)(5,2)(6,2)(7,1,1) | ψ(1-λa.φ(Ω(a+1),1)-Π1) |
| (0)(1,1,1)(2,2)(3,2)(4,1,1)(5,2)(6,2)(7,1,1)(5,2)(6,2)(7,1,1) | ψ(1-λa.φ(Ω(a+1),2)-Π1) |
| (0)(1,1,1)(2,2)(3,2)(4,1,1)(5,2)(6,2)(7,1,1)(6,1,1) | ψ(1-λa.φ(Ω(a+1),Ω(a+1))-Π1) |
| (0)(1,1,1)(2,2)(3,2)(4,1,1)(5,2)(6,2)(7,1,1)(6,2) | ψ(λa.φ(Ω(a+1)+1,0)-Π0) |
| (0)(1,1,1)(2,2)(3,2)(4,2) | ψ(λa.Γ(Ω(a+1)+1)-Π0) |
| (0)(1,1,1)(2,2)(3,3) | ψ(λa.ψ_Ω(a+2)(2 aft Ω(a+1))-Π0) |
| (0)(1,1,1)(2,2)(3,3,1) | ψ(λa.ψ_Ω(a+2)(1-2 aft Ω(a+1))-Π0) |
| (0)(1,1,1)(2,2)(3,3,1)(4,4) | ψ(λa.ψ_Ω(a+2)(Π_ω aft Ω(a+1))-Π0) |
| (0)(1,1,1)(2,2,1) | ψ(Π1(λa.Ω(a+2)-Π1)) = 1st TSS Back Gear Ordinal |
| (0)(1,1,1)(2,2,1)(1) | ψ(Π1(λa.Ω(a+2)-Π1)+1) |
| (0)(1,1,1)(2,2,1)(1,1) | ψ(Π1(λa.Ω(a+2)-Π1)+Ω) |
| (0)(1,1,1)(2,2,1)(1,1,1) | ψ(Π1(λa.Ω(a+2)-Π1)+Ω_ω) |
| (0)(1,1,1)(2,2,1)(2) | ψ(Π1(λa.Ω(a+2)-Π1)*ω) |
| (0)(1,1,1)(2,2,1)(2,1,1) | ψ(1-1-λa.Ω(a+2)-Π1) |
| (0)(1,1,1)(2,2,1)(2,1,1)(3,1,1) | ψ(1-2 1-λa.Ω(a+2)-Π1) |
| (0)(1,1,1)(2,2,1)(2,1,1)(3,2) | ψ(λa.a+1-Π0 1-λa.Ω(a+2)-Π1) |
| (0)(1,1,1)(2,2,1)(2,1,1)(3,2,1) | ψ(1-λa.Ω(a+2)-Π1 1-λa.Ω(a+2)-Π1) |
| (0)(1,1,1)(2,2,1)(2,1,1)(3,2,1)(3) | ψ((λa.Ω(a+2)-Π1 1-)^ω) |
| (0)(1,1,1)(2,2,1)(2,1,1)(3,2,1)(3,1,1) | ψ(1-2-λa.Ω(a+2)-Π1) |
| (0)(1,1,1)(2,2,1)(2,1,1)(3,2,1)(3,1,1)(4,2,1) | ψ(1-λa.Ω(a+2)-Π1 2-λa.Ω(a+2)-Π1) |
| (0)(1,1,1)(2,2,1)(2,1,1)(3,2,1)(3,1,1)(4,2,1)(5,1,1) | ψ(1-3-λa.Ω(a+2)-Π1) |
| (0)(1,1,1)(2,2,1)(2,2) | ψ(λa.a+1-Π0(λa.Ω(a+2)-Π1)) |
| (0)(1,1,1)(2,2,1)(2,2)(3,2) | ψ(λa.a+ω-Π0(λa.Ω(a+2)-Π1)) |
| (0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1) | ψ(1-λa.Ω(a+1)-Π1(λa.Ω(a+2)-Π1)) |
| (0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2)(6,3) | ψ(λa.ψ_Ω(a+2)(2 aft Ω_(a+1))-Π0(λa.Ω(a+2)-Π1)) |
| (0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2)(6,3,1)(7,4,1) | ψ(λa.ψ_Ω(a+2)(1-λa.Ω(a+2)-Π1 aft Ω_(a+1))-Π0(λa.Ω(a+2)-Π1)) |
| (0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1) | ψ(1-λa.Ω(a+2)-Π1(λa.Ω(a+2)-Π1)) |
| (0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(3,1,1) | ψ(1-λa.Ω(a+2)-Π2) |
| (0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(3,1,1)(4,1)(2) | ψ(λa.Ω(a+2)+a-Π0) |
| (0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(3,1,1)(4,1,1) | ψ(1-λa.Ω(a+2)+Ω(a+1)-Π1) |
| (0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(3,1,1)(4,2,1) | ψ(1-λa.Ω(a+2)*2-Π1) |
| (0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(3,2) | ψ(λa.Ω(a+2)ω-Π0) |
| (0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(3,2)(4,1,1) | ψ(1-λa.Ω(a+2)*Ω(a+1)-Π1) |
| (0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(3,2)(4,1,1)(5,2,1) | ψ(1-λa.Ω(a+2)^2-Π1) |
| (0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(4,1,1)(5,2,1) | ψ(1-λa.Ω(a+2)^Ω(a+2)-Π1) |
| (0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(5,2) | ψ(λa.ε(Ω(a+2)+1)-Π0) |
| (0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(5,2)(6,2)(7,1,1)(8,2,1) | ψ(λa.φ(Ω(a+2),1)-Π1) |
| (0)(1,1,1)(2,2,1)(2,2)(3,2)(4,2) | ψ(λa.Γ(Ω_(a+2)+1)-Π0) |
| (0)(1,1,1)(2,2,1)(2,2)(3,3,1) | ψ(λa.ψ_Ω(a+3)(1-2 aft ω(a+2))-Π0) |
| (0)(1,1,1)(2,2,1)(2,2)(3,3,1)(4,4) | ψ(λa.ψ_Ω(a+3)(λa.a+1-Π0 aft ω(a+2))-Π0) |
| (0)(1,1,1)(2,2,1)(2,2)(3,3,1)(4,4,1) | ψ(λa.ψ_Ω(a+3)(Π1(λa.Ω(a+2)-Π1) aft ω(a+2))-Π0) |
| (0)(1,1,1)(2,2,1)(2,2,1) | ψ(Π1(λa.Ω(a+3)-Π1)) |
| (0)(1,1,1)(2,2,1)(2,2,1)(2,2,1) | ψ(Π1(λa.Ω(a+4)-Π1)) |
| (0)(1,1,1)(2,2,1)(3) | ψ(λa.Ω(a+ω)-Π0) = Small Dropping Ordinal |
| (0)(1,1,1)(2,2,1)(3,1) | ψ(λa.Ω(a+Ω)-Π0)) |
| (0)(1,1,1)(2,2,1)(3,1)(1,1,1) | ψ(λa.Ω(a+Ω_ω)-Π0) |
| (0)(1,1,1)(2,2,1)(3,1)(1,1,1)(2,2,1)(3) | ψ(λa.Ω(a+λa.Ω(a+ω)-Π0)-Π0)) |
| (0)(1,1,1)(2,2,1)(3,1)(2) | ψ(λa.Ω(a*2)-Π0) |
| (0)(1,1,1)(2,2,1)(3,1)(2,1,1) | ψ(Π1(λa.Ω(a*2)-Π0)) |
| (0)(1,1,1)(2,2,1)(3,1)(4,2) | ψ(λa.Ω(ε(a+1))-Π0) |
| (0)(1,1,1)(2,2,1)(3,1)(4,2,1) | ψ(λa.Ω(ψ_Ω(a+1)(Ω(a+ω)))-Π0) |
| (0)(1,1,1)(2,2,1)(3,1,1) | ψ(Π1(λa.Ω(Ω(a+1))-Π1)) |
| (0)(1,1,1)(2,2,1)(3,1,1)(4,2) | ψ(λa.Ω(ε(Ω(a+1)+1))-Π0) |
| (0)(1,1,1)(2,2,1)(3,1,1)(4,2,1) | ψ(Π1(λa.Ω(Ω(a+2))-Π1)) |
| (0)(1,1,1)(2,2,1)(3,1,1)(4,2,1)(5) | ψ(λa.Ω(Ω(a+ω))-Π0) |
| (0)(1,1,1)(2,2,1)(3,1,1)(4,2,1)(5,1)(2) | ψ(λa.Ω(Ω(a*2))-Π0) |
| (0)(1,1,1)(2,2,1)(3,1,1)(4,2,1)(5,1,1) | ψ(Π1(λa.Ω(Ω(Ω(a+1)))-Π1)) |
| (0)(1,1,1)(2,2,1)(3,1,1)(4,2,1)(5,1,1)(6,2,1) | ψ(Π1(λa.Ω(Ω(Ω(a+2)))-Π1)) |
| (0)(1,1,1)(2,2,1)(3,2) | ψ(λa.ψ_I_(a+1)(I_(a+1))-Π0) = Large Dropping Ordinal(new) |
| (0)(1,1,1)(2,2,1)(3,2)(2,2,1) | ψ(Π1(λa.ψ_I_(a+1)(I_(a+1)+1)-Π1)) |
| (0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1) | ψ(Π1(λa.ψ_I_(a+1)(I_(a+1)+Ω_(a+1))-Π1)) |
| (0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1) | ψ(Π1(λa.ψ_I_(a+1)(I_(a+1)+Ω_(a+2))-Π1)) |
| (0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)(5,2) | ψ(λa.ψ_I_(a+1)(I_(a+1)+ψ_I_(a+1)(I_(a+1)))-Π0) |
| (0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,2) | ψ(λa.ψ_I_(a+1)(I_(a+1)*2))-Π0) |
| (0)(1,1,1)(2,2,1)(3,2)(3,1)(2) | ψ(λa.ψ_I_(a+1)(I_(a+1)*a))-Π0) |
| (0)(1,1,1)(2,2,1)(3,2)(3,1,1) | ψ(Π1(λa.ψ_I_(a+1)(I_(a+1)*Ω_(a+1))-Π1)) |
| (0)(1,1,1)(2,2,1)(3,2)(3,1,1)(4,2,1)(5,2) | ψ(λa.ψ_I_(a+1)(I_(a+1)*ψ_I_(a+1)(I_(a+1)))-Π0) |
| (0)(1,1,1)(2,2,1)(3,2)(3,2) | ψ(λa.ψ_I_(a+1)(I(a+1)^2)-Π0) |
| (0)(1,1,1)(2,2,1)(3,2)(4) | ψ(λa.ψ_I_(a+1)(I(a+1)^ω)-Π0) |
| (0)(1,1,1)(2,2,1)(3,2)(4,3) | ψ(2 aft λa.I(a+1)-Π1) |
| (0)(1,1,1)(2,2,1)(3,2)(4,3,1) | ψ(1-2 aft λa.I(a+1)-Π1) |
| (0)(1,1,1)(2,2,1)(3,2,1) | ψ(Π1(λa.I(a+1)-Π1)) |
| (0)(1,1,1)(2,2,1)(3,2,1)(2,1,1) | ψ(Π1(Π1(λa.I(a+1)-Π1))) |
| (0)(1,1,1)(2,2,1)(3,2,1)(2,2) | ψ(λa.a+1-Π0(λa.I(a+1)-Π1)) |
| (0)(1,1,1)(2,2,1)(3,2,1)(2,2,1) | ψ(Π1(λa.Ω(I(a+1)+1)-Π1))) |
| (0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1) | ψ(Π1(λa.Ω(I(a+1)+Ω_(a+1))-Π1))) |
| (0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1) | ψ(Π1(λa.Ω(I(a+1)2)-Π1))) |
| (0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(4,2,1) | ψ(Π1(λa.Ω_Ω(I(a+1)+1)-Π1))) |
| (0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2) | ψ(λa.ψ_I_(a+2)(I_(a+2))-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1) | ψ(Π1(λa.I(a+2)-Π1)) |
| (0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2) | ψ(λa.I(a2)-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(3,1,1) | ψ(Π1(λa.I(Ω(a+1))-Π1)) |
| (0)(1,1,1)(2,2,1)(3,2,1)(3,1,1)(4,2,1)(5,2) | ψ(λa.I_(ψ_I_(a+1)(I_(a+1)))-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(3,1,1)(4,2,1)(5,2,1) | ψ(Π1(λa.I(I(a+1))-Π1)) |
| (0)(1,1,1)(2,2,1)(3,2,1)(3,2) | ψ(2 aft λa.I(1,a+1)-Π1) |
| (0)(1,1,1)(2,2,1)(3,2,1)(3,2,1) | ψ(Π1(λa.I(1,a+1)-Π1)) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4) | ψ(λa.I(ω,a+1)-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,1)(2) | ψ(λa.I(a,1)-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,1,1) | ψ(Π1(λa.I(Ω(a+1),1)-Π1)) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,1,1)(5,2,1) | ψ(Π1(λa.I(Ω(a+2),1)-Π1))? |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2) | ψ(λa.(2 1-)^(1,0) aft a-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3) | ψ(λa.1-(2 1-)^(1,0) aft a-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2) | ψ(λa.(1-)^(1,0) (2 1-)^(1,0) aft a-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1) | ψ(Π1(λa.(2 1-)^(1,1) aft a-Π1)) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(4) | ψ(λa.(2 1-)^(1,ω) aft a-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(4,2) | ψ(λa.(2 1-)^(2,0) aft a-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2)(4) | ψ(λa.(2 1-)^(ω,0) aft a-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2)(4,2) | ψ(λa.(2 1-)^(1,0,0) aft a-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2)(5) | ψ(λa.(2 1-)^(1@ω) aft a-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2)(5,3) | ψ(λa.(2 1-)^(1,,0) aft a-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1) | ψ(Π1(λa.2-2 aft a-Π1)) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2) | ψ(λa.(1-)^(1,0) aft 2-2 aft a-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1) | ψ(Π1(λa.2 aft 2-2 aft a-Π0)) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3) | ψ(λa.1-2 aft 2-2 aft a-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2) | ψ(λa.(1-)^(1,0) 2 aft 2-2 aft a-Π1) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1) | ψ(Π1(λa.2 1-2 aft 2-2 aft a-Π1)) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4) | ψ(λa.(2 1-)^ω aft 2-2 aft a-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2) | ψ(λa.(2 1-)^(1,0) aft 2-2 aft a-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2,1) | ψ(Π1(λa.2nd 2-2 aft a-Π1)) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3) | ψ(λa.1-2-2 aft a-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2) | ψ(λa.(1-)^(1,0) 2-2 aft a-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1) | ψ(Π1(λa.2 1-2-2 aft a-Π1)) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,2) | ψ(λa.(2 1-)^(1,0) 2-2 aft a-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,2,1) | ψ(Π1(λa.2-2 1-2-2 aft a-Π1)) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(4) | ψ(λa.(2-2 1-)^ω aft a-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(4,2) | ψ(λa.(2-2 1-)^(1,0) aft a-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(4,2,1) | ψ(Π1(λa.N(a+1)-Π1)) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(5) | ψ(λa.(2-)^ω aft a-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(5,1)(2) | ψ(λa.(2-)^a aft a-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(5,1)(2) | ψ(λa.(2-)^(2 aft a) aft a-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(5,2) | ψ(λa.(2-)^(1,0) aft a-Π0) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(5,2,1) | ψ(Π1(λa.3 aft a-Π2)) |
| (0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(5,2,1)(6,2,1) | ψ(Π1(λa.4 aft a-Π3)) |
| (0)(1,1,1)(2,2,1)(3,3) | ψ(psd.doubly-(+1)-stb) = Doubly Stability Ordinal |
| (0)(1,1,1)(2,2,1)(3,3)(2,1,1) | ψ(1-λa.(λb.b+1-Π0)[a+1]-Π0) |
| (0)(1,1,1)(2,2,1)(3,3)(2,2) | ψ(λa.a+1-Π0(λa.(λb.b+1-Π0)[a+1]-Π0)) |
| (0)(1,1,1)(2,2,1)(3,3)(2,2,1) | ψ(Π1(λa.2 aft (λb.b+1-Π0)[a+1]-Π1)) |
| (0)(1,1,1)(2,2,1)(3,3)(2,2,1)(3,3) | ψ(λa.(λb.b+1-Π0)[a+2]-Π0) |
| (0)(1,1,1)(2,2,1)(3,3)(3,1)(2) | ψ(λa.2nd (1-)^a (λb.b+1-Π0)Π0) |
| (0)(1,1,1)(2,2,1)(3,3)(3,2) | ψ(λa.(1-)^(1,0) (λb.b+1-Π0)Π0) |
| (0)(1,1,1)(2,2,1)(3,3)(3,2,1) | ψ(λa.2 1-(λb.b+1-Π0)Π0) |
| (0)(1,1,1)(2,2,1)(3,3)(3,3) | ψ(λa.(λb.b+1-Π0)-(λb.b+1-Π0)[a+1]-Π0) |
| (0)(1,1,1)(2,2,1)(3,3)(4,1)(2) | ψ(λa.(λb.b+1-Π0)^a-Π0) |
| (0)(1,1,1)(2,2,1)(3,3)(4,1,1) | ψ(Π1(λa.(λb.b+1-Π0)^(2 aft a)-Π1)) |
| (0)(1,1,1)(2,2,1)(3,3)(4,2) | ψ(λa.(λb.b+1-Π0)^(1,0)-Π0) |
| (0)(1,1,1)(2,2,1)(3,3)(4,2)(5,3,1) | ψ(λa.1-2 aft λb.b+1-Π1[a+1]-Π0) |
| (0)(1,1,1)(2,2,1)(3,3)(4,2)(5,3,1)(6,4,1)(7,3) | ψ(λa.(λb.b+1-Π0[a+1] aft λb.b+1-Π1[a+1]-Π0) |
| (0)(1,1,1)(2,2,1)(3,3)(4,2,1) | ψ(Π1(λa.λb.b+1-Π1[a+1]-Π1)) |
| (0)(1,1,1)(2,2,1)(3,3)(4,2,1)(5,3) | ψ(λa.(λb.b+2-Π0)[a+1]-Π0) |
| (0)(1,1,1)(2,2,1)(3,3)(4,3) | ψ(λa.(λb.b+ω-Π0)[a+1]-Π0) |
| (0)(1,1,1)(2,2,1)(3,3)(4,3)(5,1)(2) | ψ(λa.(λb.b+a-Π0)[a+1]-Π0) |
| (0)(1,1,1)(2,2,1)(3,3)(4,3)(5,1)(4,2,1) | ψ(Π1(λa.(λb.b+a-Π1)[a+1]-Π1)) |
| (0)(1,1,1)(2,2,1)(3,3)(4,3)(5,1,1) | ψ(Π1(λa.(λb.b+Ω(a+1)-Π1)[a+1]-Π1)) |
| (0)(1,1,1)(2,2,1)(3,3)(4,3)(5,1,1)(6,2,1) | ψ(Π1(λa.(λb.b+Ω(a+2)-Π1)[a+1]-Π1)) |
| (0)(1,1,1)(2,2,1)(3,3)(4,3)(5,1,1)(6,2,1)(7,3) | ψ(λa.(λb.b+(λb.b+1-Π0[a+1]))[a+1]-Π0) |
| (0)(1,1,1)(2,2,1)(3,3)(4,3)(5,2) | ψ(λa.(λb.b2-Π0)[a+1]-Π0) |
| (0)(1,1,1)(2,2,1)(3,3)(4,3)(5,2,1) | ψ(Π1(λa.(λb.Ω(b+1)-Π1)[a+1]-Π1)) |
| (0)(1,1,1)(2,2,1)(3,3)(4,3)(5,3) | ψ(λa.(λb.Γ(Ω(b+1)+1)-Π0)[a+1]-Π0) |
| (0)(1,1,1)(2,2,1)(3,3)(4,4,1) | ψ(λa.(λb.ψ_Ω(b+2)(Ω(b+ω))-Π0)[a+1]-Π0) |
| (0)(1,1,1)(2,2,1)(3,3)(4,4,1)(5,5,1) | ψ(λa.(λb.ψ_Ω(b+2)(wth λa.Ω(a+2)-Π1 aft b)-Π0)[a+1]-Π0) |
| (0)(1,1,1)(2,2,1)(3,3,1) | ψ(Π1(λa.(λb.Ω(b+2)-Π1)[a+1]-Π1)) |
| (0)(1,1,1)(2,2,1)(3,3,1)(4) | ψ(λa.(λb.Ω(b+ω)-Π0)[a+1]-Π0) |
| (0)(1,1,1)(2,2,1)(3,3,1)(4,1)(2) | ψ(λa.(λb.Ω(b+a)-Π0)[a+1]-Π0) |
| (0)(1,1,1)(2,2,1)(3,3,1)(4,1,1) | ψ(Π1(λa.(λb.Ω(b+Ω(a+1))-Π1)[a+ω]-Π1)) |
| (0)(1,1,1)(2,2,1)(3,3,1)(4,2) | ψ(λa.(λb.Ω(b2)-Π0)[a+1]-Π0) |
| (0)(1,1,1)(2,2,1)(3,3,1)(4,2,1) | ψ(Π1(λa.(λb.Ω(Ω(b+1))-Π1)[a+1]-Π1)) |
| (0)(1,1,1)(2,2,1)(3,3,1)(4,3) | ψ(λa.(λb.ψ_I_(b+1)(I_(b+1))-Π0)[a+1]-Π0) |
| (0)(1,1,1)(2,2,1)(3,3,1)(4,3,1) | ψ(Π1(λa.(λb.I(a+1)-Π1)[a+1]-Π1)) |
| (0)(1,1,1)(2,2,1)(3,3,1)(4,3,1)(5,3,1) | ψ(Π1(λa.(λb.M(a+1)-Π1)[a+1]-Π1)) |
| (0)(1,1,1)(2,2,1)(3,3,1)(4,3,1)(5,3,1)(6,3,1) | ψ(Π1(λa.(λb.K(a+1)-Π2)[a+1]-Π2)) |
| (0)(1,1,1)(2,2,1)(3,3,1)(4,4) | ψ(psd.triply-(+1)-stb) = Triply Stability Ordinal |
| (0)(1,1,1)(2,2,1)(3,3,1)(4,4)(5,4)(6,3) | ψ(psd.triply-(×2)-stb) |
| (0)(1,1,1)(2,2,1)(3,3,1)(4,4,1) | ψ(Π1(triply-(++)-stb)) |
| (0)(1,1,1)(2,2,1)(3,3,1)(4,4,1)(5,5) | ψ(psd.qudraply-(+1)-stb) |
| (0)(1,1,1)(2,2,1)(3,3,1)(4,4,1)(5,5,1)(6,6) | ψ(5.π-Π0) |
| (0)(1,1,1)(2,2,2) | ψ(ψ_α(α_ω)) = Lαrge Rαthjen's Ordinαl |