L_α是L_β的Σ_1-初等子结构,
L_β是L_(β+1)的Σ_1-初等子结构,……
………………
无穷个结构通过Σ_1-初等子结构环环相扣,形成了长度为2的稳定链。
往后还有长度为3,4,5,6,……的稳定链(这里省略号指代所有有限数、阿列夫0领域的序数(可数序数))。
从α出发,形成长度为α的稳定链;从α0出发,经过长度为α0的稳定链,到达α1,又经过长度α1的稳定链,到达α2;从某个序数出发,形成长度为α的稳定链,到达α自身。
稳定序数都有不止Σ_1的版本,Σ_2、Σ_3、…………等等等等,都有它们的稳定序数。在所有Σ_n之上,要用到初等嵌入j:L_(α+η)→L_(β+η)和j:L_(α+η)→L_(ω_1+η),η每进一步就相当于Σ_n的Σ_n个层级。
(归递不可达序数、马洛序数、反射序数都只是Σ_0!!
定义计算器或计数器:φ(0)=初等子结构,φ(1)=高等子结构,……)
ω_1即阿列夫1,从ω_1出发,可以做同样的操作,从ε数、……等等等等,到不可递归序数、admissible序数、马洛序数、……等等等等,再到稳定链,最后到这些东西的初等嵌入,接着又从ω_2出发,往后还有ω_3、ω_4、……等等等等,各种阿列夫数、大基数嵌套进去。
必须注
本章还未完,请点击下一页继续阅读>>>