User blog comment:ArtismScrub/Analysis of MOST/@comment-30869823-20180428191917

Can you give a more complete definition, your link doesn't define above ω{Ω}ω and you don't define above Ω⋅2

I guessed you want α{γ}β = the fixed point of α=α{γ[α]}α for uncountable γ

But this means Ω{Ω}ω =the fixed point of α=α{α}α =ω{Ω}ω =Γ₀

So this would mean ω{Ω{Ω}ω}ω = ω{Γ₀}ω = Γ₀