根据你的定义的不同,可能在SDO或PLRO或TSSO或SHO这些地方catch

可能是SDO。如果SDO没有catching，那可能类似Locked' ，这个是TSSO catching的

玩我的世界玩的

ψ(&+1)=ψ(&)+1

我好奇，无论OCF有多弱，只要它还是有增长的，是不是就能和无论有多强的OCFcatch

把Ω扔进FGH中可以直接出结果。

ψ(I(1，1))=ζ1→ψ(Ω×2)
ψ(I(1，2))=ζ2→ψ(Ω×3)
ψ(I(1，ω))=ζω→ψ(Ω×ω)
ψ(M)=φ(3，0)→ψ(Ω^2)
ψ(M₂)=φ(3，1)→ψ(Ω^2×2)
ψ(m-I(1，0))=φ(3，φ(2，0))
ψ(2-2 1-2-2)=φ(3，φ(3，0))
ψ(2-2-2)=φ(4，0)→ψ(Ω^3)
ψ((2-)^ω)=φ(ω，0)→ψ(Ω^ω)
ψ(Π_3)=Γ0→ψ(Ω^Ω)。
再看一下我扽西过的把Ω放进FGH。
H₁(Ω)=Ω₂，H₁(Ω+1)=OFP
H₁(Ω×2)=I，H₁(Ω×3)=I(1，0)
H₁(Ω^2)=2-2=M，H₁(Ω^3)=2-2-2
H₁(Ω^ω)=(2-)^ω，H₁(Ω^Ω)=Π_3。
可以看出来有相似没。
所以这个catching是在α→H₁(α)处。目前应该是LRO。