先回到TSS最开始的情况:(0,0,0)(1,1,1)
把它展开:(0,0)(1,1)(2,2)(3,3)…
然后把每一列代表的序数都拿出来:
(0,0)=ψ(0)
(1,1)=ψ_1(0)
(2,2)=ψ_2(0)
…
最后拼到一块:ψ(ψ_1(ψ_2(ψ_3…)))
这个东西看起来像BO,但这种写法在ocf里是不标准的.它只相当于ψ(ψ_1(ψ_2(0)))=BHO.需要把它标准化,取最内部的极限值,在把中间的一大堆东西都省略掉,只留最外层的ψ(.)
这样它就成了ψ(Ω_ω),即BO.
现在可以暂时的认为(0,0,0)=ψ(0),(1,1,1)=Ω_ω.
对于(0,0,0)(1,1,1)(1,1,1)可以进行同样的操作:
把它复制的每一个部分都用ocf表示出来
(0,0,0)(1,1,1)=ψ(Ω_ω)
(1,1,0)(2,2,1)=ψ_1(Ω_ω)
(2,2,0)(3,3,1)=ψ_2(Ω_ω)
…
拼起来:ψ(Ω_ω+ψ_1(Ω_ω+ψ_2(Ω_ω+…)))
取最内部的极限值=ψ(Ω_ω*2)
进而可以分析出:
(0,0,0)(1,1,1)(1,1,1)(1,1,1)=ψ(Ω_ω*3)
(0,0,0)(1,1,1)(2,0,0)=ψ(Ω_ω*ω)
(0,0,0)(1,1,1)(2,0,0)(3,1,1)
=ψ(Ω_ω*ψ(Ω_ω))
(0,0,0)(1,1,1)(2,0,0)(3,1,1)(4,0,0)
=ψ(Ω_ω*ψ(Ω_ω*ω))
(0,0,0)(1,1,1)(2,0,0)(3,1,1)(4,0,0)(5,1,1)
=ψ(Ω_ω*ψ(Ω_ω*ψ(Ω_ω)))
一直到(0,0,0)(1,1,1)(2,1,0)=ψ(Ω_ω*Ω)
经过以上的规律,往右面添加一个(1,1,1)就类似于加上一个Ω_ω.

(0,0,0)(1,1,1)(2,1,0)(1,1,1)并不是ψ(Ω_ω*Ω+Ω_ω)[尽管看起来像]
这个式子的坏根是(0,0,0),复制的时候会把前三列的前两行都提升:
(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,2,0)(2,2,0)(3,3,1)(4,3,0)…
可以看到(2,1,0)在之前相当于Ω,但在后面的展开中它被提升到了(3,2,0),即Ω_2.最后一路被提升到了Ω_ω.
用ocf表示如下:
ψ(Ω_ω*Ω+ψ_1(Ω_ω*Ω_2+ψ_2(Ω_ω*Ω_3+…)))
标准化为ψ(Ω_ω*Ω_ω)=ψ(Ω_ω^2)
而之前的ψ(Ω_ω*Ω+Ω_ω)=(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)
注意:这个表达式没有循环,(3,1,0)中的1等于坏根(1,1,0)中的1,所以(3,1,0)不会被再次提升.

再看(0,0,0)(1,1,1)(2,1,0)(1,1,1)(1,1,1)
它是不是很像ψ(Ω_ω^3)?
在之前提升中,(2,1,0)旁边的(1,1,1)已经被提升效应消耗掉了,可以认为(2,1,0)(1,1,1)是一个整体,它们一起组成了Ω_ω.这时右边的(1,1,1)将不再起到作用,它只做为一个普通的+Ω_ω存在.
所以它等于ψ(Ω_ω^2+Ω_ω)
在(0,0,0)(1,1,1)(2,1,0)(1,1,1)(2,1,0)(1,1,1)的时候,这种效应会再次出现.(0,0,0)(1,1,1)(2,1,0)(1,1,1)(2,1,0)=ψ(Ω_ω^2+Ω_ω*Ω)右边的(1,1,1)会把紧随的(2,1,0)再次提升到Ω_ω.即ψ(Ω_ω^2*2).
这种效应可以推广到(n,m,0)(k,m,1)n>k的情况,只要这个结构出现在了任何地方，升级效应就会出现.
现在规律已经很明显了,右边每多一个(2,1,0)(1,1,1)就相当于加上一个Ω_ω^2.
最后由(0,0,0)(1,1,1)(2,1,0)(2,0,0)将它们合并.=ψ(Ω_ω^2*ω)
(0,0,0)(1,1,1)(2,1,0)(2,1,0)=ψ(Ω_ω^2*Ω)
下一个提升节点是(0,0,0)(1,1,1)(2,1,0)(2,1,0)(1,1,1)=ψ(Ω_ω^2*Ω_ω)=ψ(Ω_ω^3)
规律已经很明显了:
(0,0,0)(1,1,1)(2,1,0)(2,1,0)(1,1,1)(2,1,0)(2,1,0)
=ψ(Ω_ω^3+Ω_ω^2*Ω)
(0,0,0)(1,1,1)(2,1,0)(2,1,0)(1,1,1)(2,1,0)(2,1,0)(1,1,1)
=ψ(Ω_ω^3*2)
(0,0,0)(1,1,1)(2,1,0)(2,1,0)(2,0,0)
=ψ(Ω_ω^3*ω)
(0,0,0)(1,1,1)(2,1,0)(2,1,0)(2,1,0)
=ψ(Ω_ω^3*Ω)
(0,0,0)(1,1,1)(2,1,0)(2,1,0)(2,1,0)(1,1,1)
=ψ(Ω_ω^4)
跳一下
(0,0,0)(1,1,1)(2,1,0)(3,0,0)=ψ(Ω_ω^ω)
(0,0,0)(1,1,1)(2,1,0)(3,1,0)=ψ(Ω_ω^Ω)
(0,0,0)(1,1,1)(2,1,0)(3,1,0)(1,1,1)
=ψ(Ω_ω^Ω_ω)
(0,0,0)(1,1,1)(2,1,0)(3,1,0)(1,1,1)(1,1,1)(2,1,0)(3,1,0)
=ψ(Ω_ω^Ω_ω+Ω_ω^Ω)
(0,0,0)(1,1,1)(2,1,0)(3,1,0)(1,1,1)(1,1,1)(2,1,0)(3,1,0)(1,1,1)
=ψ(Ω_ω^Ω_ω*2)
(0,0,0)(1,1,1)(2,1,0)(3,1,0)(2,0,0)
=ψ(Ω_ω^Ω_ω*ω)
(0,0,0)(1,1,1)(2,1,0)(3,1,0)(2,1,0)
=ψ(Ω_ω^Ω_ω*Ω)
(0,0,0)(1,1,1)(2,1,0)(3,1,0)(2,1,0)(1,1,1)
=ψ(Ω_ω^(Ω_ω+1))
(0,0,0)(1,1,1)(2,1,0)(3,1,0)(2,1,0)(1,1,1)(1,1,1)(2,1,0)(3,1,0)(2,1,0)(1,1,1)
=ψ(Ω_ω^(Ω_ω+1)2)
(0,0,0)(1,1,1)(2,1,0)(3,1,0)(2,1,0)(2,0,0)
=ψ(Ω_ω^(Ω_ω+1)ω)
(0,0,0)(1,1,1)(2,1,0)(3,1,0)(2,1,0)(2,1,0)(1,1,1)
=ψ(Ω_ω^(Ω_ω+2))
(0,0,0)(1,1,1)(2,1,0)(3,1,0)(2,1,0)(3,0,0)
=ψ(Ω_ω^(Ω_ω+ω))
(0,0,0)(1,1,1)(2,1,0)(3,1,0)(2,1,0)(3,1,0)
=ψ(Ω_ω^(Ω_ω+Ω))
(0,0,0)(1,1,1)(2,1,0)(3,1,0)(2,1,0)(3,1,0)(1,1,1)
=ψ(Ω_ω^(Ω_ω*2))
(0,0,0)(1,1,1)(2,1,0)(3,1,0)(2,1,0)(3,1,0)(2,1,0)(1,1,1)
=ψ(Ω_ω^(Ω_ω*2+1))
(0,0,0)(1,1,1)(2,1,0)(3,1,0)(2,1,0)(3,1,0)(2,1,0)(3,0,0)
=ψ(Ω_ω^(Ω_ω*2+ω))
(0,0,0)(1,1,1)(2,1,0)(3,1,0)(2,1,0)(3,1,0)(2,1,0)(3,1,0)
=ψ(Ω_ω^(Ω_ω*2+Ω))

(0,0,0)(1,1,1)(2,1,0)(3,1,0)(2,1,0)(3,1,0)(2,1,0)(3,1,0)(1,1,1)
=ψ(Ω_ω^(Ω_ω*3))
(0,0,0)(1,1,1)(2,1,0)(3,1,0)(3,0,0)
=ψ(Ω_ω^(Ω_ω*ω))
(0,0,0)(1,1,1)(2,1,0)(3,1,0)(3,1,0)
=ψ(Ω_ω^(Ω_ω*Ω))
(0,0,0)(1,1,1)(2,1,0)(3,1,0)(3,1,0)(1,1,1)
=ψ(Ω_ω^(Ω_ω^2))
(0,0,0)(1,1,1)(2,1,0)(3,1,0)(3,1,0)(3,1,0)(1,1,1)
=ψ(Ω_ω^(Ω_ω^3))
(0,0,0)(1,1,1)(2,1,0)(3,1,0)(4,0,0)
=ψ(Ω_ω^(Ω_ω^ω))
(0,0,0)(1,1,1)(2,1,0)(3,1,0)(4,1,0)
=ψ(Ω_ω^(Ω_ω^Ω))
(0,0,0)(1,1,1)(2,1,0)(3,1,0)(4,1,0)(1,1,1)
=ψ(Ω_ω^Ω_ω^Ω_ω)
这种现象一直持续到
(0,0,0)(1,1,1)(2,1,0)(3,2,0)=TFB

@Gomen520
看看?这种效应在Y数列应该也有的

TFB之后:
经过之前的分析,(0,0,0)(1,1,1)(2,1,0)(3,1,0)…就类似于(1,1,1)的指数运算.
所以(0,0,0)(1,1,1)(2,1,0)(3,2,0)
=ψ(ε_(Ω_ω+1))
那么(0,0,0)(1,1,1)(2,1,0)(3,2,0)(1,1,1)右边的(1,1,1)是否会升级(3,2,0)?
(3,2,0)类似于一个升级不动点,它抹平了之前所有(x,1,0)(1,1,1)升级带来的差距,这是再往后添加(1,1,1)将不会再生效.套用之前…(n,m,0)(k,m,0)的升级公式,只有(2,2,1)才能对(3,2,0)起到作用.
(0,0,0)(1,1,1)(2,1,0)(3,2,0)(1,1,1)
=ψ(Ω_(ω+1)+Ω_ω)
现在对比(0,0)(1,1)(2,2)和(1,1,1)(2,1,0)(3,2,0).它们是不是有些相似?
前者是ε_(Ω+1),后者是Ω_ω的迭代幂次.
按照这个规律,(0,0,0)(1,1,1)(2,1,0)(3,2,0)(4,2,0)…也应该是Ω_(ω+1)的迭代幂次.
即Ω_(ω+1)^Ω_(ω+1)^…ψ_(ω+1)(Ω_(ω+2))=(1,1,1)(2,1,0)(3,2,0)(4,3,0)
顺着这个思路往下去,(0,0,0)(1,1,1)(2,1,0)(3,2,0)(4,3,0)…=(0,0,0)(1,1,1)(2,1,0)(3,2,1)应该是下一个BO点.
=ψ(ψ_ω(ψ_ω+1…))->ψ(Ω_(ω2))

在(0,0,0)(1,1,1)(2,1,0)(3,2,1)这里还能看到相似的结构,(2,1,0)(3,2,1)就类似于前面的(0,0,0)(1,1,1).只不过它是高位的.
(0,0,0)(1,1,1)(2,1,0)(3,2,1)(3,2,1)就应该是ψ(Ω_(ω2)2).
(0,0,0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(3,2,1)
=ψ(Ω_(ω2)^2)关于(4,2,0)的升级
(0,0,0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(5,3,0)
=ψ(Ω_(ω2+1))关于Ω_(ω2)的TFB
(0,0,0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(5,3,0)(6,3,0)(7,3,0)=ψ(Ω_(ω2+1)^Ω_(ω2+1))
(0,0,0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(5,3,0)(6,4,0)=ψ(Ω_(ω2+2))
(0,0,0)(1,1,1)(2,1,0)(3,2,1)(4,2,0)(5,3,1)
=ψ(Ω_(ω3))同理
最后一路攀爬到(0,0,0)(1,1,1)(2,1,1)
=ψ(Ω_(ω^2))

在这之后有点不太容易
(0,0,0)(1,1,1)(2,1,1)(1,1,1)
=ψ(Ω_(ω^2)+Ω_ω)-这里没有升级
(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,0)(3,2,1)(4,2,1)=ψ(Ω_(ω^2)+ψ_ω(Ω_(ω^2)))
(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,0)(3,2,1)(4,2,1)(2,1,0)(3,2,1)(4,2,1)
=ψ(Ω_(ω^2)+ψ_ω(Ω_(ω^2)+ψ_ω(Ω_(ω^2))))
(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,0)(3,2,1)(4,2,1)(3,1,0)(4,2,1)(5,2,1)
=ψ(Ω_(ω^2)+ψ_ω(Ω_(ω^2)+ψ_ω(Ω_(ω^2)+ψ_ω(Ω_(ω^2)))))
(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,0)(3,2,1)(4,2,1)(3,1,0)(4,2,1)(5,2,1)(4,1,0)(5,2,1)(6,2,1)
=ψ(Ω_(ω^2)+ψ_ω(Ω_(ω^2)+ψ_ω(Ω_(ω^2)+ψ_ω(Ω_(ω^2)+ψ_ω(Ω_(ω^2))))))
(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,0)(3,2,1)(4,2,1)(3,2,0)=ψ(Ω_(ω^2)+Ω_(ω+1))
(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,0)(3,2,1)(4,2,1)(3,2,0)(4,2,0)
=ψ(Ω_(ω^2)+Ω_(ω+1)^2)
(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,0)(3,2,1)(4,2,1)(3,2,0)(4,3,0)
=ψ(Ω_(ω^2)+ψ_(ω+1)(Ω_(ω+2)))
(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,0)(3,2,1)(4,2,1)(3,2,0)(4,3,1)(5,3,1)(4,2,0)(5,3,1)(6,3,1)
=ψ(Ω_(ω^2)+ψ_(ω+1)(Ω_(ω^2)+ψ_(ω+1)(Ω_(ω^2))))

(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,0)(3,2,1)(4,2,1)(3,2,0)(4,3,1)(5,3,1)(4,3,0)
=ψ(Ω_(ω^2)+Ω_(ω+2))
(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,0)(3,2,1)(4,2,1)(3,2,0)(4,3,1)(5,3,1)(4,3,0)(5,4,1)(6,4,1)(5,4,0)
=ψ(Ω_(ω^2)+Ω_(ω+3))
(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,0)(3,2,1)(4,2,1)(3,2,1)
=ψ(Ω_(ω^2)+Ω_(ω2))
(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,0)(3,2,1)(4,2,1)(3,2,1)(3,2,0)(4,3,1)(5,3,1)(4,3,1)
=ψ(Ω_(ω^2)+Ω_(ω2)+ψ_(ω+1)(Ω_(ω^2)+Ω_(ω2)))
(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,0)(3,2,1)(4,2,1)(3,2,1)(3,2,1)
=ψ(Ω_(ω^2)+Ω_(ω2)2)
(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,0)(3,2,1)(4,2,1)(3,2,1)(4,2,0)
=ψ(Ω_(ω^2)+Ω_(ω2)*Ω_2)
(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,0)(3,2,1)(4,2,1)(3,2,1)(4,2,0)(5,3,0)
=ψ(Ω_(ω^2)+ψ_(ω2)(Ω_(ω2+1)))
(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,0)(3,2,1)(4,2,1)(3,2,1)(4,2,0)(5,3,1)
=ψ(Ω_(ω^2)+ψ_(ω2)(Ω_(ω2)))
(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,0)(3,2,1)(4,2,1)(3,2,1)(4,2,0)(5,3,1)(6,3,1)
=ψ(Ω_(ω^2)+ψ_(ω2)(Ω_(ω^2)))
(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,0)(3,2,1)(4,2,1)(3,2,1)(4,2,0)(5,3,1)(6,3,1)(5,3,0)
=ψ(Ω_(ω^2)+Ω_(ω2+1))
(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,0)(3,2,1)(4,2,1)(3,2,1)(4,2,0)(5,3,1)(6,3,1)(5,3,0)(6,4,0)
=ψ(Ω_(ω^2)+ψ_(ω2+1)(Ω_(ω2+2)))
(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,0)(3,2,1)(4,2,1)(3,2,1)(4,2,0)(5,3,1)(6,3,1)(5,3,0)(6,4,1)(7,4,1)
=ψ(Ω_(ω^2)+ψ_(ω2+1)(Ω_(ω^2)))
(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,0)(3,2,1)(4,2,1)(3,2,1)(4,2,0)(5,3,1)(6,3,1)(5,3,0)(6,4,1)(7,4,1)(6,4,0)
=ψ(Ω_(ω^2)+Ω_(ω2+2))
(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,0)(3,2,1)(4,2,1)(3,2,1)(4,2,0)(5,3,1)(6,3,1)(5,3,1)
=ψ(Ω_(ω^2)+Ω_(ω3))
(0,0,0)(1,1,1)(2,1,1)(1,1,1)(2,1,1)
=ψ(Ω_(ω^2)2)

还有吗？
比如——
连锁升级：(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)

在之前升级中,都是某一列升级前面的部分.在bms后面还会出现某一几列升级前面的部分,这种情况叫升级链.
第一个有升级链的矩阵是:
(0,0,0)(1,1,1)(2,1,1)(2,1,0)(1,1,1)(2,1,1)
它展开成:
(0,0,0)(1,1,1)(2,1,1)(2,1,0)(1,1,1)
(2,1,0)(3,2,1)(4,2,1)(4,2,0)(3,2,1)
(4,2,0)(5,3,1)(6,3,1)(6,3,0)(5,3,1)…
->
ψ(Ω_(ω^2)*Ω+
ψ_ω(Ω_(ω^2)*Ω_(ω2)+
ψ_(ω2)(Ω_(ω^2)*Ω_(ω3)+…)))
(不知道这里翻译的对不对)
->
ψ(Ω_(ω^2)^2)
(1,1,1)刚开始相当于Ω_ω,在下一步的展开中被升级成了Ω_(ω2),Ω_(ω3)…是(1,1,1)(2,1,1)升级了前面的整个东西.

(0,0,0)(1,1,1)(2,1,1)(2,1,0)(1,1,1)(2,1,1)(1,1,1)(2,1,1)
=ψ(Ω_(ω^2)^2+Ω_(ω^2))
(0,0,0)(1,1,1)(2,1,1)(2,1,0)(1,1,1)(2,1,1)(2,1,0)=ψ(Ω_(ω^2)^2+Ω_(ω^2)Ω)
(0,0,0)(1,1,1)(2,1,1)(2,1,0)(1,1,1)(2,1,1)(2,1,0)(1,1,1)(2,1,1)=ψ(Ω_(ω^2)^2*2)
(0,0,0)(1,1,1)(2,1,1)(2,1,0)(2,0,0)
=ψ(Ω_(ω^2)^2*ω)
(0,0,0)(1,1,1)(2,1,1)(2,1,0)(2,1,0)
=ψ(Ω_(ω^2)^2*Ω)
(0,0,0)(1,1,1)(2,1,1)(2,1,0)(2,1,0)(1,1,1)(2,1,1)
=ψ(Ω_(ω^2)^3)
(0,0,0)(1,1,1)(2,1,1)(2,1,0)(2,1,0)(2,1,0)(1,1,1)(2,1,1)
=ψ(Ω_(ω^2)^4)
(0,0,0)(1,1,1)(2,1,1)(2,1,0)(3,0,0)
=ψ(Ω_(ω^2)^ω)
(0,0,0)(1,1,1)(2,1,1)(2,1,0)(3,1,0)
=ψ(Ω_(ω^2)^Ω)
(0,0,0)(1,1,1)(2,1,1)(2,1,0)(3,1,0)(1,1,1)(2,1,1)
=ψ(Ω_(ω^2)^Ω_(ω^2))
(0,0,0)(1,1,1)(2,1,1)(2,1,0)(3,2,0)
=ψ(Ω_(ω^2+1))
(0,0,0)(1,1,1)(2,1,1)(2,1,0)(3,2,0)(4,3,0)
=ψ(Ω_(ω^2+2))
(0,0,0)(1,1,1)(2,1,1)(2,1,0)(3,2,1)
=ψ(Ω_(ω^2+ω))
(0,0,0)(1,1,1)(2,1,1)(2,1,0)(3,2,1)(4,1,0)(5,2,1)
=ψ(Ω_(ω^2+ω)*ψ_1(Ω_(ω^2+ω)))
(0,0,0)(1,1,1)(2,1,1)(2,1,0)(3,2,1)(4,2,0)
=ψ(Ω_(ω^2+ω)*Ω_2)
(0,0,0)(1,1,1)(2,1,1)(2,1,0)(3,2,1)(4,2,0)(5,2,0)
=ψ(Ω_(ω^2+ω)^2)
(0,0,0)(1,1,1)(2,1,1)(2,1,0)(3,2,1)(4,2,0)(5,3,0)
=ψ(Ω_(ω^2+ω+1))
(0,0,0)(1,1,1)(2,1,1)(2,1,0)(3,2,1)(4,2,0)(5,3,1)
=ψ(Ω_(ω^2+ω2))
(0,0,0)(1,1,1)(2,1,1)(2,1,0)(3,2,1)(4,2,1)
=ψ(Ω_(ω^2*2))
(0,0,0)(1,1,1)(2,1,1)(2,1,1)
=ψ(Ω_(ω^3))

(0,0,0)(1,1,1)(2,1,1)(3,0,0)
=ψ(Ω_(ω^ω))
(0,0,0)(1,1,1)(2,1,1)(3,0,0)(4,1,0)
=ψ(Ω_ε_0)=ψ(Ω_ψ(Ω))
(0,0,0)(1,1,1)(2,1,1)(3,0,0)(4,1,1)(5,1,1)(6,0,0)(7,1,0)
=ψ(Ω_ψ(Ω_ψ(Ω)))
(0,0,0)(1,1,1)(2,1,1)(3,1,0)
ψ(Ω_Ω)

最后一种升级是连锁升级，这是bms里最强的升级.大概就是某一个结构去循环升级前面另一个相同的结构…
(0,0,0)(1,1,1)(2,1,1)(3,1,0)
=ψ(Ω_Ω)
(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)右边的(1,1,1)(2,1,1)把最后的Ω升级为Ω_(ω^2).(0,0,0)(1,1,1)(2,1,1)(3,1,0)(1,1,1)(2,1,1)(3,1,0)最右边的(3,1,0)继续把ω^2替换迭代为更大的序数.它是α→ψ(Ω_Ω_α)的不动点.之后就复制粘贴了.
(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)
=ψ(ψ_I(0))
此帖完,lz的大脑已经枯竭了