User blog comment:Fejfo/Uncountable indexed veblen function/@comment-5529393-20180517062334/@comment-30869823-20180517164041

I've also thought about phi_omega (n) = phi_n (n), phi is meant to keep it's output of the same "cardinality" (actually \( \text{γ is regual and } \beta<γ \) should imply \( \varphi_\alpha(\beta)<γ ∀\alpha \) )

But this way it isn't really possible to use fixed points, I'm currently thinking about using this idea on the middle growing hierachy (to avoid transfinite itteration).