(以下全部讨论BOCF，SSO到LSO)
稳定序数是一个非常强大的模式(可能仅次于映射序数)，在分析一些强大的记号时，稳定扮演了重要的角色，一般在BMS中深有体现，接下来不多说
SSO一般被认为是稳定的第一个式子，然而并不是
事实上ψ(λα.(α)-Π_0)＝ψ(0)才是最小的Σ_1稳定
在MOCF中，它是ε0；在BOCF中，它是1，没错就是这么小
然而ψ(λα.(α＋1)-Π_0)却远远超过目前一些veblen序数，它就是大名鼎鼎的SSO
即：
ψ(λα.(α)-Π_0)＝ψ(0)＝1
ψ(λα.(α＋1)-Π_0)＝ψ(Π_ω)＝SSO
ψ(λα.(α)-Π_0)到ψ(λα.(α＋1)-Π_0)它们是Π下一个ω的差距，至于反射我不太会，这之间就不做太详细的分析，大概枚举一下
ψ(λα.(α)-Π_0)2＝2
…
ψ(λα.(α)-Π_1)＝ψ(1st Π_1)＝ψ(1)
ψ(λα.(α)-Π_2)＝ψ(1st Π_2)
ψ(λα.(α)-Π_ω)＝ψ(λα.(α＋1)-Π_0)＝ψ(1st ∏_ω)，为了方便，以下就不写1st
又一个Π_ω的差距
ψ(λα.(α＋1)-Π_ω)＝ψ(λα.(α＋2)-Π_0)＝ψ(Π_ω2)
同样的
ψ(λα.(α＋2)-Π_ω)＝ψ(λα.(α＋3)-Π_0)＝ψ(Π_ω3)
ψ(λα.(α＋ω)-Π_0)＝ψ(Π_ω^2)
我们把最大的序数套进去
ψ(λα.(α＋ψ(λα.(α＋ω)-Π_0))-Π_ω)
＝ψ(Π_ψ(Π_ω^2))
β→ψ(λα.(α＋β)-Π_ω)＝ψ(λα.(α＋Ω)-Π_0)
＝ψ(Π_Ω)
由于我反射不是太会，所以一般都是用veblen序数
ψ(λα.(α＋Ω_2)-Π_0)＝ψ(Π_(Ω_2))
ψ(λα.(α＋Ω_ω)-Π_0)＝ψ(Π_(Ω_ω))
ψ(λα.(α＋Ω_Ω)-Π_0)＝ψ(Π_(Ω_Ω))
ψ(λα.(α＋I)-Π_0)＝ψ(Π_I)
ψ(λα.(α＋I^2)-Π_0)＝ψ(Π_(I^2))
ψ(λα.(α＋Ω_I＋1)-Π_0)＝ψ(Π_(Ω_I＋1))
ψ(λα.(α＋I_2)-Π_0)＝ψ(Π_(I_2))
ψ(λα.(α＋I(1,0))-Π_0)＝ψ(Π_I(1,0))
ψ(λα.(α＋I(1@ω))-Π_0)＝ψ(Π_I(1@ω))
ψ(λα.(α＋I(1@ω))-Π_0)＝ψ(Π_I(1@ω))
ψ(λα.(α＋Ω_M＋1)-Π_0)＝ψ(Π_(Ω_M＋1))
ψ(λα.(α＋λα.(α)-Π_1)-Π_0)＝ψ(Π_Π_1)
ψ(λα.(α＋λα.(α＋1)-Π_0)-Π_0)＝ψ(Π_Π_ω)
ψ(λα.(α＋λα.(α＋ω)-Π_0)-Π_0)＝ψ(Π_Π_ω^2)
ψ(λα.(α＋λα.(α＋λα.(α＋1)-Π_0)-Π_0)-Π_0)＝ψ(Π_Π_Π_ω)
ψ(λα.(α＋λα.(α＋1)-Π_0)-Π_0)＝ψ(Π_Π_ω)
ψ(λα.(α＋β)-Π_0),β→λα.(α＋1)-Π_0
＝ψ(λα.(α2)-Π_0)＝ψ(Π(1,0))
这是一些大概的枚举