User blog comment:Denis Maksudov/Slowly growing ordinal function and FS up to BHO./@comment-5529393-20170401072740

Hmm, if we look at \(\psi ' (\Omega^{\Omega^\Omega})\), the rules don't work correctly. If we set \(\beta = \Omega^\Omega\), then \(\beta^\Omega = (\Omega^\Omega )^\Omega = \Omega^{\Omega^2}\), not \(\Omega^{\Omega^\Omega}\). I know you are intending that we replace the last appearance of \(\Omega\) by \(\alpha\), but the formal rules that you stated don't quite work.