User blog comment:Ikosarakt1/Fast-growing hierarchy/@comment-157.193.1.38-20130622201600/@comment-5529393-20130626235943

Thanks for the paper. However, there seems to be an error;  it says that, when \(\alpha = \gamma + \Omega^{\mu} \beta \) where \(\beta\) is a countable limit ordinal, then

\(\tau(\alpha) = \beta\) and

\(\alpha[x] = \gamma + \Omega^{\mu} x\).

But the fundamental sequence for an ordinal of cofinality \(\omega\) should be \(\omega\), so it should be

\)\tua(\alpha = \omega\) and

\(\alpha[x] = \gmma + \Omega^{\mu} \beta[x]\),

with some additional rules for how to evaluate fundamental sequences for countable ordinals. Am I wrong?