ψ_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序数。
第一个递归不可达序数、第二个递归不可达序数、第三个递归不可达序数、…………,第“第一个递归不可达序数”递归不可达序数、…………,无止境的类推。
而这些“第xx个递归不可达序数”都可以写作……0-递归不可达序数!
0-递归不可达序数往后是1-递归不可达序数,1-递归不可达序数再一次经历过这些后是2-递归不可达序数,再一次经历过这些后是3-递归不可达序数,………………,无止境类推。
往后还有1_递归不可达序数、2_递归不可达序数、……………………
(定义计算器或计数器
φ(0)=第n个递归不可达序数,φ(1)=n-递归不可达序数,φ(2)=n_递归不可达序数,……)
在n-递归不可达序里:
α-递归不可达序数,指的是一种特殊的admissible序数,同时也(对任意β<α)是一系列β-递归不可达序数的极限。
β可以是0、1、2、……·、ω、……第一个递归不可达序数、……、1-递归不可达序数、……、1_递归不可达
(本章节未完结,点击下一页翻页继续阅读)