汪吧仙录

一个递归弱紧致序数)、…直到a是(a后的下一个“a是(a+1)-稳定序数”)-稳定序数，

代表L?是L?的Σ?-初等子结构，

而L?又是L?????的Σ?-初等子结构，再通过Σ?-初等子结构环环相扣就形成了长度为2的稳定链，再往后还有更长的稳定链…但以上全都小于真稳定。

若L?是L的Σ?-初等子结构，a是Σ?-真稳定。若L?是L的初等子模型，a是真稳定，其中被满足的φ可以取任意一阶公式。

真稳定(完全稳定)能在OCF里输出各式各样的稳定序数、稳定链。

此外还有大于常规∑?稳定却小于真稳定的间隙(Gap)序数，a是长度为b的c阶Gap序数，则La+b|=a=ω_c，阶的优先级高于长度，一个长度为1的二阶Gap远大于长度为n(n＜前者)的一阶Gap，最小的Gap序数可以看做∑_ω容许。

………………

故此类推，还有无限种链条定义