Η0(α,β)={0,1,ω,Ω,{0,1,ω,Ω,α,β的+*^运算结果}}
Ηχ+1(α,β)={0,1,ω,Ω,{Ηχ(α,β+*^结果}}
Η(α,β)=U Ηi(α,β)
i<ω
υ(Α)=最大递归序数属于Α
π(α,β)=最大序数属于Η(α,β)
τ(0)=π(α,β)的容许点,τ(γ+1)=τ(γ)的τ(γ)点
φ^0(α)=τ(α),φβ+1(0)是φβ(α)的φβ(α)的…的非递归点,φβ(α+1)是φβ(α)的φβ(α)点
而ψ^1(α)是υ(φα(α))
Βψ(φ^β(α))=φ(#)(φ函数)是ψ^β(α)中的φ(#)(α),φ^β其他规则和φ^0相同。
ψ^β+1(α)=υ(φ^β(α))
Ηχ+1(α,β)={0,1,ω,Ω,{Ηχ(α,β+*^结果}}
Η(α,β)=U Ηi(α,β)
i<ω
υ(Α)=最大递归序数属于Α
π(α,β)=最大序数属于Η(α,β)
τ(0)=π(α,β)的容许点,τ(γ+1)=τ(γ)的τ(γ)点
φ^0(α)=τ(α),φβ+1(0)是φβ(α)的φβ(α)的…的非递归点,φβ(α+1)是φβ(α)的φβ(α)点
而ψ^1(α)是υ(φα(α))
Βψ(φ^β(α))=φ(#)(φ函数)是ψ^β(α)中的φ(#)(α),φ^β其他规则和φ^0相同。
ψ^β+1(α)=υ(φ^β(α))