ψ_0(Ω_1)=ε0,ψ_0(Ω_1^2)=ζ0,ψ_0(Ω_1^Ω_1)=Γ0,ψ_0(Ω_1^Ω_1^ω)= SVO。
ε0后面有ε1,ε1后面有ε2,ε3,……,ε_ε0,……,ε_ε_ε0,…………
这些都被叫做ε数,ε后面是ζ数。
而第一个ζ数,ζ0是所有ε的不动点。
φ(1,a)是ε数,φ(2,a)是ζ数,如此类推,φ(n+1,a)是φ(n,a)的不动点。
Γ0=φ(1,0,0),SVO=φ(1,0,0……,0,0,0).
…………
这些序数都是老生常谈了,第二卷里也反反复复叠过很多遍了,咱今天跳过这些,整个新的——admissible序数!
admissible序数往前就是我们熟悉的不可递归序数。
admissible序数是让L_α满足KP集合论的序数!也可以叫做归递不可达序数,是一类大到无论如何数都数不出来,就如同有限数无法抵达不可达基数一般,admissible序数之下的序数也无法抵达admissible序数,前一个admissible序数也无法抵达后一个admissible序数。
第一个递归不可达序数、第二个递归不可达序数、第三个递归不可达序数、…………,第“第一个递归不可达序数”递归不可达序数、…………,无止境的类推。
本章还未完,请点击下一页继续阅读>>>