把ω扔进FGH得到放大可数序数的效果,那么Ω呢?我们可以知道,原本的Ω原来指ω₁,在OCF里面,因为折叠可数序数不需要ω₁这么大的序数,用ω₁CK就行了,由ω₁CK大于所有的可计算可递归函数的增长率,所以引入H₁(Ω),就是用来迭代非递归序数,因为所有的递归函数都已经被Ω以下的增长层次所折叠,自然Ω增长率表示非递归函数,如果H₁()在ω处需要对角化的话。那么H₁(Ω)自然就是Ω₂,H₁(Ω,1)=Ω₃,H₁(Ω,n)=Ω_(2+n)。所以Ω级增长率以上代表的是非递归分析。 以下是我扽西出来的结果。