【集合论】序数

BHO=ψ(ψ_1(0)),翻译成ω的运算就是f_ε0(ω)。

JO=ψ(ψ_I+1(0)),翻译成ω的运算就是{1;0,ε0},也即第ε0个增长率不动点。

SSO=ψ(Π_ω),相当于通过增长率不动点序列构造到ε0的增长率,是二阶hydra套一阶hydra。

LRO=ψ(a_ω),a是2-投影序数,也是PTO(Π1,2-CA0),翻译成ω的运算就是把增长率不动点看成一个序列,在这之中构造FGH,接着又到达了增长率不动点。

(本章完)

相关推荐