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

BMS分析

来自Googology Wiki
Tabelog留言 | 贡献2025年7月27日 (日) 12:42的版本

目前使用的 OCF 为 M 型,后续补充 BOCF

Part 1:单行 BMS(PrSS)

=0

(0)=1

(0)(0)=2

(0)(0)(0)=3

(0)(1)=(0)(0)(0)(0)(0)...=ω

(0)(1)(0)=ω+1

(0)(1)(0)(0)=ω+2

(0)(1)(0)(1)=ω×2

(0)(1)(0)(1)(0)(1)=ω×3

(0)(1)(1)=(0)(1)(0)(1)(0)(1)...=ω2

(0)(1)(1)(0)=ω2+1

(0)(1)(1)(0)(1)=ω2+ω

(0)(1)(1)(0)(1)(0)(1)=ω2+ω×2

(0)(1)(1)(0)(1)(1)=ω2×2

(0)(1)(1)(0)(1)(1)(0)(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)=(0)(1)(1)(1)(1)...=ωω

(0)(1)(2)(0)(1)(2)=ωω×2

(0)(1)(2)(1)=ωω+1

(0)(1)(2)(1)(1)=ωω+2

(0)(1)(2)(1)(1)(1)=ωω+3

(0)(1)(2)(1)(2)=ωω×2

(0)(1)(2)(1)(2)(1)(2)=ωω×3

(0)(1)(2)(2)=ωω2

(0)(1)(2)(2)(1)=ωω2+1

(0)(1)(2)(2)(1)(2)=ωω2+ω

(0)(1)(2)(2)(1)(2)(2)=ωω2×2

(0)(1)(2)(2)(1)(2)(2)(1)(2)(2)=ωω2×3

(0)(1)(2)(2)(2)=ωω3

(0)(1)(2)(2)(2)(2)=ωω4

(0)(1)(2)(3)=(0)(1)(2)(2)(2)(2)...=ωωω

(0)(1)(2)(3)(4)=ωωωω

(0)(1)(2)(3)(4)(5)=ωωωωω

(0)(1,1)=(0)(1)(2)(3)(4)(5)(6)...=ε0

Part 2:双行 BMS

BMS Veblen MOCF
(0)(1,1) ε0
(0)(1,1)(0,0) ε0+1
(0)(1,1)(0,0)(1,0) ε0+ω
(0)(1,1)(0,0)(1,1) ε0×2
(0)(1,1)(0,0)(1,1)(0,0)(1,1) ε0×3
(0)(1,1)(1,0) ε0×ω
(0)(1,1)(1,0)(1,0) ε0×ω2
(0)(1,1)(1,0)(2,0) ε0×ωω
(0)(1,1)(1,0)(2,0)(3,0) ε0×ωωω
(0)(1,1)(1,0)(2,1) ε02
(0)(1,1)(1,0)(2,1)(1,0)(2,0) ε02×ω
(0)(1,1)(1,0)(2,1)(1,0)(2,0)(3,0) ε02×ωω
(0)(1,1)(1,0)(2,1)(1,0)(2,1) ε03
(0)(1,1)(1,0)(2,1)(1,0)(2,1)(1,0)(2,1) ε04
(0)(1,1)(1,0)(2,1)(2,0) ε0ω
(0)(1,1)(1,0)(2,1)(2,0)(1,0)(2,1) ε0ω+1
(0)(1,1)(1,0)(2,1)(2,0)(1,0)(2,1)(1,0)(2,1) ε0ω+2
(0)(1,1)(1,0)(2,1)(2,0)(1,0)(2,1)(2,0) ε0ω×2
(0)(1,1)(1,0)(2,1)(2,0)(1,0)(2,1)(2,0)(1,0)(2,1)(2,0) ε0ω×3
(0)(1,1)(1,0)(2,1)(2,0)(2,0) ε0ω2
(0)(1,1)(1,0)(2,1)(2,0)(3,0) ε0ωω
(0)(1,1)(1,0)(2,1)(2,0)(3,0)(4,0) ε0ωωω
(0)(1,1)(1,0)(2,1)(2,0)(3,1) ε0ε0
(0)(1,1)(1,0)(2,1)(2,0)(3,1)(3,0)(4,1) ε0ε0ε0
(0)(1,1)(1,0)(2,1)(2,0)(3,1)(3,0)(4,1)(4,0)(5,1) ε0ε0ε0ε0
(0)(1,1)(1,1) ε1
(0)(1,1)(1,1)(0,0)(1,1)(1,1) ε1×2
(0)(1,1)(1,1)(1,0) ε1×ω
(0)(1,1)(1,1)(1,0)(2,1) ε1×ε0
(0)(1,1)(1,1)(1,0)(2,1)(2,0)(3,1) ε1×ε02
(0)(1,1)(1,1)(1,0)(2,1)(2,0)(3,1)(3,0)(4,1) ε1×ε0ε0
(0)(1,1)(1,1)(1,0)(2,1)(2,1) ε12
(0)(1,1)(1,1)(1,0)(2,1)(2,1)(2,0) ε1ω
(0)(1,1)(1,1)(1,0)(2,1)(2,1)(2,0)(3,1) ε1ε0
(0)(1,1)(1,1)(1,0)(2,1)(2,1)(2,0)(3,1)(3,1) ε1ε1
(0)(1,1)(1,1)(1,0)(2,1)(2,1)(2,0)(3,1)(3,1)(3,0)(4,1)(4,1) ε1ε1ε1
(0)(1,1)(1,1)(1,1) ε2
(0)(1,1)(1,1)(1,1)(1,1) ε3
(0)(1,1)(2,0) εω
(0)(1,1)(2,0)(1,0) εω×ω
(0)(1,1)(2,0)(1,0)(2,1) εω×ε0
(0)(1,1)(2,0)(1,0)(2,1)(2,1) εω×ε1
(0)(1,1)(2,0)(1,0)(2,1)(2,1)(2,1) εω×ε2
(0)(1,1)(2,0)(1,0)(2,1)(2,1)(2,1)(2,1) εω×ε3
(0)(1,1)(2,0)(1,0)(2,1)(3,0) εω2
(0)(1,1)(2,0)(1,0)(2,1)(3,0)(2,0)(3,1)(4,0) εωεω
(0)(1,1)(2,0)(1,1) εω+1
(0)(1,1)(2,0)(1,1)(1,1) εω+2
(0)(1,1)(2,0)(1,1)(1,1)(1,1) εω+3
(0)(1,1)(2,0)(1,1)(2,0) εω×2
(0)(1,1)(2,0)(1,1)(2,0)(1,1)(2,0) εω×3
(0)(1,1)(2,0)(2,0) εω2
(0)(1,1)(2,0)(2,0)(2,0) εω3
(0)(1,1)(2,0)(3,0) εωω
(0)(1,1)(2,0)(3,0)(4,0) εωωω
(0)(1,1)(2,0)(3,1) εε0
(0)(1,1)(2,0)(3,1)(1,1) εε0+1
(0)(1,1)(2,0)(3,1)(3,1) εε1
(0)(1,1)(2,0)(3,1)(4,0) εεω
(0)(1,1)(2,0)(3,1)(4,0)(5,1) εεε0
(0)(1,1)(2,0)(3,1)(4,0)(5,1)(6,0)(7,1) εεεε0
(0)(1,1)(2,1) ζ0
(0)(1,1)(2,1)(1,0)(2,1)(3,1) ζ02
(0)(1,1)(2,1)(1,0)(2,1)(3,1)(2,0)(3,1)(4,1) ζ0ζ0
(0)(1,1)(2,1)(1,1) εζ0+1
(0)(1,1)(2,1)(1,1)(1,0)(2,1)(3,1)(2,1) εζ0+12
(0)(1,1)(2,1)(1,1)(1,1) εζ0+2
(0)(1,1)(2,1)(1,1)(2,0) εζ0+ω
(0)(1,1)(2,1)(1,1)(2,0)(3,1) εζ0+ε0
(0)(1,1)(2,1)(1,1)(2,0)(3,1)(4,1) εζ0×2
(0)(1,1)(2,1)(1,1)(2,0)(3,1)(4,1)(3,1) εεζ0+1
(0)(1,1)(2,1)(1,1)(2,0)(3,1)(4,1)(3,1)(4,0)(5,1)(6,1)(5,1) εεεζ+1
(0)(1,1)(2,1)(1,1)(2,1) ζ1
(0)(1,1)(2,1)(1,1)(2,1)(1,1) εζ1+1
(0)(1,1)(2,1)(1,1)(2,0) εζ1+ω
(0)(1,1)(2,1)(1,1)(2,1)(1,1)(2,1) ζ2
(0)(1,1)(2,1)(1,1)(2,1)(1,1)(2,1)(1,1)(2,1) ζ3
(0)(1,1)(2,1)(2,0) ζω
(0)(1,1)(2,1)(2,0)(2,0) ζω2
(0)(1,1)(2,1)(2,0)(3,1) ζε0
(0)(1,1)(2,1)(2,0)(3,1)(4,1) ζζ0
(0)(1,1)(2,1)(2,0)(3,1)(4,1)(4,0)(5,1)(6,1) ζζζ0
(0)(1,1)(2,1)(2,1) η0
(0)(1,1)(2,1)(2,1)(1,1) εη0+1
(0)(1,1)(2,1)(2,1)(1,1)(2,1) ζη0+1
(0)(1,1)(2,1)(2,1)(1,1)(2,1)(2,0)(3,1)(4,1)(4,1)(3,1)(4,1) ζζη0+1
(0)(1,1)(2,1)(2,1)(1,1)(2,1)(2,1) η1
(0)(1,1)(2,1)(2,1)(1,1)(2,1)(2,1)(1,1)(2,1)(2,1) η2
(0)(1,1)(2,1)(2,1)(2,0) ηω
(0)(1,1)(2,1)(2,1)(2,1) φ(4,0) ψ(Ω3)
(0)(1,1)(2,1)(3,0) φ(ω,0) ψ(Ωω)
(0)(1,1)(2,1)(3,0)(1,1) φ(1,φ(ω,0)+1) ψ(Ωω+1)
(0)(1,1)(2,1)(3,0)(1,1)(2,1) φ(2,φ(ω,0)+1) ψ(Ωω+Ω)
(0)(1,1)(2,1)(3,0)(1,1)(2,1)(2,1) φ(3,φ(ω,0)+1) ψ(Ωω+Ω2)
(0)(1,1)(2,1)(3,0)(1,1)(2,1)(3,0) φ(ω,1) ψ(Ωω×2)
(0)(1,1)(2,1)(3,0)(1,1)(2,1)(3,0)(1,1)(2,1)(3,0) φ(ω,2) ψ(Ωω×3)
(0)(1,1)(2,1)(3,0)(2,0) φ(ω,ω) ψ(Ωω×ω)
(0)(1,1)(2,1)(3,0)(2,1) φ(ω+1,0) ψ(Ωω+1)
(0)(1,1)(2,1)(3,0)(2,1)(2,1) φ(ω+2,0) ψ(Ωω+2)
(0)(1,1)(2,1)(3,0)(2,1)(2,1)(2,1) φ(ω+3,0) ψ(Ωω+3)
(0)(1,1)(2,1)(3,0)(2,1)(3,0) φ(ω×2,0) ψ(Ωω×2)
(0)(1,1)(2,1)(3,0)(2,1)(3,0)(2,1)(3,0) φ(ω×3,0) ψ(Ωω×3)
(0)(1,1)(2,1)(3,0)(3,0) φ(ω2,0) ψ(Ωω2)
(0)(1,1)(2,1)(3,0)(4,1) φ(φ(1,0),0) ψ(Ωψ(0))
(0)(1,1)(2,1)(3,0)(4,1)(5,1) φ(φ(2,0),0) ψ(Ωψ(Ω))
(0)(1,1)(2,1)(3,0)(4,1)(5,1)(6,0) φ(φ(ω,0),0) ψ(Ωψ(Ωω))
(0)(1,1)(2,1)(3,0)(4,1)(5,1)(6,0)(7,1)(8,1)(9,0) φ(φ(φ(ω,0),0),0) ψ(Ωψ(Ωψ(Ωω)))
(0)(1,1)(2,1)(3,1) φ(1,0,0)=Γ0 ψ(ΩΩ)
(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1) φ(1,0,1)=Γ1 ψ(ΩΩ×2)
(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1) φ(1,0,2)=Γ2 ψ(ΩΩ×3)
(0)(1,1)(2,1)(3,1)(2,0) φ(1,0,ω)=Γω ψ(ΩΩ×ω)
(0)(1,1)(2,1)(3,1)(2,0)(3,1)(4,1)(5,1) φ(1,0,φ(1,0,0))=ΓΓ0 ψ(ΩΩ×ψ(ΩΩ))
(0)(1,1)(2,1)(3,1)(2,0)(3,1)(4,1)(5,1)(4,0)(5,1)(6,1)(7,1) φ(1,0,φ(1,0,φ(1,0,0)))=ΓΓΓ0 ψ(ΩΩ×ψ(ΩΩ×ψ(ΩΩ)))
(0)(1,1)(2,1)(3,1)(2,1) φ(1,1,0) ψ(ΩΩ+1)
(0)(1,1)(2,1)(3,1)(2,1)(2,1) φ(1,2,0) ψ(ΩΩ+2)
(0)(1,1)(2,1)(3,1)(2,1)(3,0) φ(1,ω,0) ψ(ΩΩ+ω)
(0)(1,1)(2,1)(3,1)(2,1)(3,0)(4,1)(5,1)(6,1)(5,1)(6,0) φ(1,φ(1,ω,0),0) ψ(ΩΩ+ψ(ΩΩ+ω))
(0)(1,1)(2,1)(3,1)(2,1)(3,1) ψ(2,0,0) ψ(ΩΩ×2)
(0)(1,1)(2,1)(3,1)(2,1)(3,1)(2,1)(3,1) ψ(3,0,0) ψ(ΩΩ×3)
(0)(1,1)(2,1)(3,1)(3,0) φ(ω,0,0) ψ(ΩΩ×ω)
(0)(1,1)(2,1)(3,1)(3,1) φ(1,0,0,0) ψ(ΩΩ2)
(0)(1,1)(2,1)(3,1)(3,1)(3,1) φ(1,0,0,0,0) ψ(ΩΩ3)
BMS MOCF
(0)(1,1)(2,1)(3,1)(4,0) ψ(ΩΩω)
(0)(1,1)(2,1)(3,1)(4,0)(5,1) ψ(ΩΩψ(0))
(0)(1,1)(2,1)(3,1)(4,0)(5,1)(6,1) ψ(ΩΩψ(Ω))
(0)(1,1)(2,1)(3,1)(4,0)(5,1)(6,1)(7,1) ψ(ΩΩψ(ΩΩ))
(0)(1,1)(2,1)(3,1)(4,1) ψ(ΩΩΩ)
(0)(1,1)(2,1)(3,1)(4,1)(5,1) ψ(ΩΩΩΩ)
(0)(1,1)(2,2) ψ(ψ1(0))
(0)(1,1)(2,2)(1,1) ψ(ψ1(0)+1)
(0)(1,1)(2,2)(1,1)(2,1) ψ(ψ1(0)+Ω)
(0)(1,1)(2,2)(1,1)(2,1)(3,1) ψ(ψ1(0)+ΩΩ)
(0)(1,1)(2,2)(1,1)(2,2) ψ(ψ1(0)×2)
(0)(1,1)(2,2)(2,0) ψ(ψ1(0)×ω)
(0)(1,1)(2,2)(2,1) ψ(ψ1(0)×Ω)
(0)(1,1)(2,2)(2,1)(3,0) ψ(ψ1(0)×Ωω)
(0)(1,1)(2,2)(2,1)(3,1) ψ(ψ1(0)×ΩΩ)
(0)(1,1)(2,2)(2,1)(3,2) ψ(ψ1(0)2)
(0)(1,1)(2,2)(2,1)(3,2)(3,0) ψ(ψ1(0)ω)
(0)(1,1)(2,2)(2,1)(3,2)(3,1)(4,2) ψ(ψ1(0)ψ1(0))
(0)(1,1)(2,2)(2,2) ψ(ψ1(1))
(0)(1,1)(2,2)(3,0) ψ(ψ1(ω))
(0)(1,1)(2,2)(3,1)(4,2) ψ(ψ1(ψ1(0)))
(0)(1,1)(2,2)(3,2) ψ(Ω2)
(0)(1,1)(2,2)(3,2)(1,1) ψ(Ω2+Ω)
(0)(1,1)(2,2)(3,2)(1,1)(2,2) ψ(Ω2+ψ1(0))
(0)(1,1)(2,2)(3,2)(1,1)(2,2)(3,1)(4,2) ψ(Ω2+ψ1(ψ1(0)))
(0)(1,1)(2,2)(3,2)(1,1)(2,2)(3,2) ψ(Ω2+ψ1(Ω2))
(0)(1,1)(2,2)(3,2)(2,0) ψ(Ω2+ψ1(Ω2)×ω)
(0)(1,1)(2,2)(3,2)(2,1)(3,2)(4,2) ψ(Ω2+ψ1(Ω2)2)
(0)(1,1)(2,2)(3,2)(2,1)(3,2)(4,2)(3,0) ψ(Ω2+ψ1(Ω2)ω)
(0)(1,1)(2,2)(3,2)(2,1)(3,2)(4,2)(3,1)(4,2)(5,2) ψ(Ω2+ψ1(Ω2)ψ1(Ω2))
(0)(1,1)(2,2)(3,2)(2,2) ψ(Ω2+ψ1(Ω2+1))
(0)(1,1)(2,2)(3,2)(2,2)(3,0) ψ(Ω2+ψ1(Ω2+ω))
(0)(1,1)(2,2)(3,2)(2,2)(3,1)(4,2)(5,2) ψ(Ω2+ψ1(Ω2+ψ1(Ω2)))
(0)(1,1)(2,2)(3,2)(2,2)(3,1)(4,2)(5,2)(3,0) ψ(Ω2+ψ1(Ω2+ψ1(Ω2)×ω))
(0)(1,1)(2,2)(3,2)(2,2)(3,1)(4,2)(5,2)(4,0) ψ(Ω2+ψ1(Ω2+ψ1(Ω2)ω))
(0)(1,1)(2,2)(3,2)(2,2)(3,1)(4,2)(5,2)(4,1)(5,2)(6,2) ψ(Ω2+ψ1(Ω2+ψ1(Ω2)ψ1(Ω2)))
(0)(1,1)(2,2)(3,2)(2,2)(3,1)(4,2)(5,2)(4,2) ψ(Ω2+ψ1(Ω2+ψ1(Ω2+1)))
(0)(1,1)(2,2)(3,2)(2,2)(3,1)(4,2)(5,2)(4,2)(5,0) ψ(Ω2+ψ1(Ω2+ψ1(Ω2+ω)))
(0)(1,1)(2,2)(3,2)(2,2)(3,1)(4,2)(5,2)(4,2)(5,0)(5,1)(6,2)(7,2) ψ(Ω2+ψ1(Ω2+ψ1(Ω2+ψ1(Ω2))))
(0)(1,1)(2,2)(3,2)(2,2)(3,2) ψ(Ω2×2)
(0)(1,1)(2,2)(3,2)(3,0) ψ(Ω2×ω)
(0)(1,1)(2,2)(3,2)(3,1)(4,2)(5,2) ψ(Ω2×ψ1(Ω2))
(0)(1,1)(2,2)(3,2)(3,2) ψ(Ω22)
(0)(1,1)(2,2)(3,2)(4,0) ψ(Ω2ω)
(0)(1,1)(2,2)(3,2)(4,2) ψ(Ω2Ω2)
(0)(1,1)(2,2)(3,3) ψ(ψ2(0))
(0)(1,1)(2,2)(3,3)(4,3) ψ(Ω3)
(0)(1,1)(2,2)(3,3)(4,4) ψ(ψ3(0))
(0)(1,1,1)=(0)(1,1)(2,2)(3,3) ψ(Ωω)

Part 3:三行 BMS (0)(1,1,1)~(0)(1,1,1)(2,1,0)

三行之后 BMS 的行为复杂度急剧上升,因此部分节点的分析可能不会较为详细。

BMS MOCF
(0)(1,1,1) ψ(Ωω)
(0)(1,1,1)(1,1,0) ψ(Ωω+1)
(0)(1,1,1)(1,1,0)(2,0,0) ψ(Ωω+ω)
(0)(1,1,1)(1,1,0)(2,1,0) ψ(Ωω+Ω)
(0)(1,1,1)(1,1,0)(2,2,0) ψ(Ωω+ψ1(0))
(0)(1,1,1)(1,1,0)(2,2,0)(2,2,0) ψ(Ωω+ψ1(1))
(0)(1,1,1)(1,1,0)(2,2,0)(3,0,0) ψ(Ωω+ψ1(ω))
(0)(1,1,1)(1,1,0)(2,2,0)(3,1,0)(4,2,0) ψ(Ωω+ψ1(ψ1(0)))
(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0) ψ(Ωω+ψ1(Ω2))
(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,0,0) ψ(Ωω+ψ1(Ω2)×ω)
(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,1,0) ψ(Ωω+ψ1(Ω2)ω)
(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,2,0) ψ(Ωω+ψ1(Ω2+1))
(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,2,0)(3,0,0) ψ(Ωω+ψ1(Ω2+ω))
(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,2,0)(3,1,0)(4,2,0) ψ(Ωω+ψ1(Ω2+ψ1(0)))
(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,2,0)(3,2,0) ψ(Ωω+ψ1(Ω2×2))
(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(3,0,0) ψ(Ωω+ψ1(Ω2×ω))
(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(3,2,0) ψ(Ωω+ψ1(Ω22))
(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(4,2,0) ψ(Ωω+ψ1(Ω2Ω2))
(0)(1,1,1)(1,1,0)(2,2,0)(3,3,0) ψ(Ωω+ψ1(ψ2(0)))
(0)(1,1,1)(1,1,0)(2,2,0)(3,3,0)(4,4,0) ψ(Ωω+ψ1(ψ3(0)))
(0)(1,1,1)(1,1,0)(2,2,1) ψ(Ωω+ψ1(Ωω))
(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0) ψ(Ωω+ψ1(Ωω+1))
(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,0,0) ψ(Ωω+ψ1(Ωω+ω))
(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,1,0)(4,2,0) ψ(Ωω+ψ1(Ωω+ψ1(0)))
(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,1,0)(4,2,0)(5,3,0) ψ(Ωω+ψ1(Ωω+ψ1(ψ2(0))))
(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,1,0)(4,2,1) ψ(Ωω+ψ1(Ωω+ψ1(Ωω)))
(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,2,0) ψ(Ωω+Ω2)
(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,3,0) ψ(Ωω+ψ2(0))
(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,3,1)(3,3,0)(4,3,0) ψ(Ωω+Ω3)
(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,3,1)(3,3,0)(4,4,0) ψ(Ωω+ψ3(0))
(0)(1,1,1)(1,1,1) ψ(Ωω×2)
(0)(1,1,1)(2,0,0) ψ(Ωω×ω)
(0)(1,1,1)(2,1,0) ψ(Ωω×Ω)

Part 4:(0)(1,1,1)(2,1,0)~(0)(1,1,1)(2,1,1)

这一部分涉及到提升效应

BMS MOCF
(0)(1,1,1)(2,1,0) ψ(Ωω×Ω)
(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1) ψ(Ωω×Ω+ψ1(Ωω))
(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,0,0) ψ(Ωω×Ω+ψ1(Ωω×ω))
(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0) ψ(Ωω×Ω+ψ1(Ωω×Ω))
(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0) ψ(Ωω×Ω+ψ1(Ωω×Ω+1))
(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) ψ(Ωω×Ω+ψ1(Ωω×Ω+ψ1(0)))
(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) ψ(Ωω×Ω+ψ1(Ωω×Ω+ψ1(Ωω×Ω)))
(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,2,0) ψ(Ωω×Ω+Ω2)
(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,3,0) ψ(Ωω×Ω+ψ2(0))
(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) ψ(Ωω×Ω+Ω3)
(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1) ψ(Ωω×Ω+Ωω)
(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) ψ(Ωω×Ω+Ωω+ψ1(Ωω×Ω))
(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) ψ(Ωω×Ω+Ωω+ψ1(Ωω×Ω+Ωω))
(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(2,0,0) ψ(Ωω×Ω+Ωω+ψ1(Ωω×Ω+Ωω)×ω)
(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(2,2,0) ψ(Ωω×Ω+Ωω+ψ1(Ωω×Ω+Ωω+1))
(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) ψ(Ωω×Ω+Ωω+Ω2)
(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(2,2,1) ψ(Ωω×Ω+Ωω×2)
(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(3,0,0) ψ(Ωω×Ω+Ωω×ω)
(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(3,1,0) ψ(Ωω×Ω×2)
(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(3,0,0) ψ(Ωω×Ω×ω)
(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(4,2,0) ψ(Ωω×ψ1(0))
(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(4,2,1) ψ(Ωω×ψ1(Ωω))
(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(4,2,1)(5,1,0) ψ(Ωω×ψ1(Ωω×Ω))
(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) ψ(Ωω×ψ1(Ωω×Ω+Ωω))
(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) ψ(Ωω×ψ1(Ωω×Ω×2)
(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) ψ(Ωω×ψ1(Ωω×ψ1(Ωω))
(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,2,0) ψ(Ωω×Ω2)
(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) ψ(Ωω×ψ2(0))
(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) ψ(Ωω×Ω3)
(0)(1,1,1)(2,1,0)(1,1,1) ψ(Ωω2)
(0)(1,1,1)(2,1,0)(1,1,1)(1,1,0) ψ(Ωω2+1)
(0)(1,1,1)(2,1,0)(1,1,1)(1,1,0)(2,2,1) ψ(Ωω2+ψ1(Ωω))
(0)(1,1,1)(2,1,0)(1,1,1)(1,1,0)(2,2,1)(3,1,0) ψ(Ωω2+ψ1(Ωω×Ω))
(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) ψ(Ωω2+ψ1(Ωω×Ω+ψ1(Ωω×Ω)))
(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) ψ(Ωω2+ψ1(Ωω×Ω+Ω2))
(0)(1,1,1)(2,1,0)(1,1,1)(2,1,0)(1,1,1) ψ(Ωω2×2)
(0)(1,1,1)(2,1,0)(2,0,0) ψ(Ωω2×ω)
(0)(1,1,1)(2,1,0)(2,1,0) ψ(Ωω2×Ω)
(0)(1,1,1)(2,1,0)(2,1,0)(1,1,0)(2,2,1) ψ(Ωω2×Ω+ψ1(Ωω))
(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) ψ(Ωω2×Ω+Ωω2)
(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)(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) ψ(Ωω2×Ω3)
(0)(1,1,1)(2,1,0)(2,1,0)(1,1,1) ψ(Ωω3)
(0)(1,1,1)(2,1,0)(2,1,0)(2,1,0)(1,1,1) ψ(Ωω4)
(0)(1,1,1)(2,1,0)(3,0,0) ψ(Ωωω)
(0)(1,1,1)(2,1,0)(3,1,0) ψ(ΩωΩ)
(0)(1,1,1)(2,1,0)(3,1,0)(1,1,1) ψ(ΩωΩω)
(0)(1,1,1)(2,1,0)(3,1,0)(4,1,0)(1,1,1) ψ(ΩωΩωΩω)
(0)(1,1,1)(2,1,0)(3,2,0) ψ(ψω(0))
(0)(1,1,1)(2,1,0)(3,2,0)(1,1,1) ψ(ψω(0)+Ωω)
(0)(1,1,1)(2,1,0)(3,2,0)(1,1,1)(2,1,0)(3,2,0) ψ(ψω(0)×2)
(0)(1,1,1)(2,1,0)(3,2,0)(2,0,0) ψ(ψω(0)×ω)
(0)(1,1,1)(2,1,0)(3,2,0)(2,1,0) ψ(ψω(0)×Ω)
(0)(1,1,1)(2,1,0)(3,2,0)(2,1,0)(3,2,0) ψ(ψω(0)2)
(0)(1,1,1)(2,1,0)(3,2,0)(3,0,0) ψ(ψω(0)ω)
(0)(1,1,1)(2,1,0)(3,2,0)(3,1,0) ψ(ψω(0)Ω)
(0)(1,1,1)(2,1,0)(3,2,0)(3,1,0)(4,2,0) ψ(ψω(0)ψω(0))
(0)(1,1,1)(2,1,0)(3,2,0)(3,1,0)(4,2,0)(4,1,0)(5,2,0) ψ(ψω(0)ψω(0)ψω(0))
(0)(1,1,1)(2,1,0)(3,2,0)(3,2,0) ψ(ψω(1))
(0)(1,1,1)(2,1,0)(3,2,0)(3,2,0)(3,2,0) ψ(ψω(2))
(0)(1,1,1)(2,1,0)(3,2,0)(4,0,0) ψ(ψω(ω))
(0)(1,1,1)(2,1,0)(3,2,0)(4,1,0) ψ(ψω(Ω))
(0)(1,1,1)(2,1,0)(3,2,0)(4,1,0)(5,2,0) ψ(ψω(ψω(0)))
(0)(1,1,1)(2,1,0)(3,2,0)(4,2,0) ψ(Ωω+1)
(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) ψ(Ωω+1+ψω(Ωω+1))
(0)(1,1,1)(2,1,0)(3,2,0)(4,2,0)(3,2,0)(4,2,0) ψ(Ωω+1×2)
(0)(1,1,1)(2,1,0)(3,2,0)(4,2,0)(4,0,0) ψ(Ωω+1×ω)
(0)(1,1,1)(2,1,0)(3,2,0)(4,2,0)(4,1,0) ψ(Ωω+1×Ω)
(0)(1,1,1)(2,1,0)(3,2,0)(4,2,0)(4,2,0) ψ(Ωω+12)
(0)(1,1,1)(2,1,0)(3,2,0)(4,2,0)(5,0,0) ψ(Ωω+1ω)
(0)(1,1,1)(2,1,0)(3,2,0)(4,2,0)(5,1,0) ψ(Ωω+1Ω)
(0)(1,1,1)(2,1,0)(3,2,0)(4,2,0)(5,2,0) ψ(Ωω+1Ωω+1)
(0)(1,1,1)(2,1,0)(3,2,0)(4,3,0) ψ(ψω+1(0))
(0)(1,1,1)(2,1,0)(3,2,0)(4,3,0)(5,3,0) ψ(Ωω+2)
(0)(1,1,1)(2,1,0)(3,2,0)(4,3,0)(5,4,0) ψ(ψω+2(0))
(0)(1,1,1)(2,1,0)(3,2,1) ψ(Ωω×2)
(0)(1,1,1)(2,1,0)(3,2,1)(1,1,1) ψ(Ωω×2+Ωω)
(0)(1,1,1)(2,1,0)(3,2,1)(1,1,1)(2,1,0)(3,2,1) ψ(Ωω×2+ψω(Ωω×2))
(0)(1,1,1)(2,1,0)(3,2,1)(3,2,0) ψ(Ωω×2+ψω(Ωω×2+1))
(0)(1,1,1)(2,1,0)(3,2,1)(3,2,0)(4,1,0)(5,2,1) ψ(Ωω×2+ψω(Ωω×2+ψω(Ωω×2)))
(0)(1,1,1)(2,1,0)(3,2,1)(3,2,0)(4,2,0) ψ(Ωω×2+Ωω+1)
(0)(1,1,1)(2,1,0)(3,2,1)(3,2,0)(4,3,1) ψ(Ωω×2+ψω+1(Ωω×2))
(0)(1,1,1)(2,1,0)(3,2,1)(3,2,0)(4,3,1)(4,3,0) ψ(Ωω×2+ψω+1(Ωω×2+1))
(0)(1,1,1)(2,1,0)(3,2,1)(3,2,0)(4,3,1)(4,3,0)(5,2,0) ψ(Ωω×2+ψω+1(Ωω×2+Ωω+1))
(0)(1,1,1)(2,1,0)(3,2,1)(3,2,0)(4,3,1)(4,3,0)(5,2,0) ψ(Ωω×2+Ωω+2)
(0)(1,1,1)(2,1,0)(3,2,1)(3,2,1) ψ(Ωω×2×2)
(0)(1,1,1)(2,1,0)(3,2,1)(4,1,0) ψ(Ωω×2×Ω)
(0)(1,1,1)(2,1,0)(3,2,1)(4,1,0)(1,1,1) ψ(Ωω×2×Ωω)
(0)(1,1,1)(2,1,0)(3,2,1)(4,1,0)(5,2,0) ψ(Ωω×2×ψω(0))
(0)(1,1,1)(2,1,0)(3,2,1)(4,1,0)(5,2,1) ψ(Ωω×2×ψω(Ωω×2))
(0)(1,1,1)(2,1,0)(3,2,1)(4,2,0) ψ(Ωω×2×Ωω+1)
(0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(3,2,0)(4,3,1) ψ(Ωω×2×Ωω+1+ψω+1(Ωω×2))
(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) ψ(Ωω×2×Ωω+1+Ωω×2)
(0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(3,2,0)(4,3,1)(5,3,0) ψ(Ωω×2×Ωω+2)
(0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(3,2,1) ψ(Ωω×22)
(0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(4,2,0)(3,2,1) ψ(Ωω×23)
(0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(5,0,0) ψ(Ωω×2ω)
(0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(5,2,0) ψ(Ωω×2Ωω+1)
(0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(5,2,0)(3,2,1) ψ(Ωω×2Ωω×2)
(0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(5,3,0) ψ(ψω×2(0))
(0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(5,3,1) ψ(Ωω×3)
(0)(1,1,1)(2,1,1) ψ(Ωω2)