小疙瘩小说网新网址www.xgedda.com，或者下载app访问，点击下载app
一个递归弱紧致序数)、…直到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序数可以看做∑_ω容许。
………………
故此类推，还有无限种链条定义
手机支付宝搜索752672374即可领取作者发的红包，赶快参与吧！
阅读模式无法加载下一章，请退出