1.阿列夫零领域里的部分可数序数（从小到大）。

定义：ω↑ck_1＝Ω。

ψ_I（0）＝sup｛Ω，Ω_Ω，Ω_Ω_Ω，……｝

ψ_Ω_ψ_（I（0）+1）（0）＝sup｛ψ_I（0），ψ_I（0）↑ψ_I（0），ψ_I（0）↑ψ_I（0）↑ψ_I（0），……｝

ψ_Ω_ψ_（I（0）+1）（Ω_ψ_（I（0）+1））＝sup｛0，ψ_Ω_ψ_（I（0）+1）（0），ψ_Ω_ψ_（I（0）+1）（ψ_Ω_ψ_（I（0）+1）（0）），……｝

ψ_Ω_ψ_（I（0）+1）（Ω_ψ_（I（0）+ω））＝sup｛0，ψ_Ω_ψ_（I（0）+1）（0），ψ_Ω_ψ_（I（0）+2）（0），……｝

ψ_I（I）＝sup｛0，ψ_I（0），ψ_I（ψ_I（0）），……｝

ψ_I（ψ_I_2（0））＝sup｛ψ_I（Ω_（1+1）），ψ_I（Ω_Ω_（1+1）），ψ_I（Ω_Ω_Ω_（1+1）），……｝

ψ_I（ψ_I_2（I））＝sup｛ψ_I（ψ_I_2（0）），ψ_I（ψ_I_2（ψ_I（ψ_I_2（0）））），ψ_I（ψ_I_2（ψ_I（ψ_I_2（ψ_I（ψ_I_2（0）））））），……｝

ψ_I（ψ_I_2（I_2））＝sup｛ψ_I（ψ_I_2（0）），ψ_I（ψ_I_2（ψ_I_2（0））），ψ_I（ψ_I_2（ψ_I_2（ψ_I_2（0）））），……｝

ψ_I_ω（0）＝sup｛I，I_2，I_3，……｝

ψ_（χ（1，0））（0）＝sup｛I，I_I，I_I_I，……｝

χ（1，0）这个是最小的递归不可达序数（＞＞不可递归序数（ω↑ck_α的那种就是不可递归序数），也就是三卷72里首次写在妄想序列里的admissible序数。），后面还有不可达序数、马洛序数、弱紧致序数、……、反射序数、……、稳定序数、……啥啥啥的。

ψ_（χ（M，0））＝sup｛χ（1，0）s，χ（χ（1，0），0），χ（χ（χ（1，0），0），0），……｝

χ（M，0）是最小的hyper_递归不可达序数。

M是最小的不可达序数。

Ξ（K，0）是最小的hyper_
（本章节未完结，点击下一页翻页继续阅读）