User blog comment:Wythagoras/Catching function in normal ordinals/@comment-11227630-20140120132127

Oh, that's wrong. $$C(\Omega^\omega)=\psi(\psi_{I(\omega,0)}(0))$$ and $$C(\Omega^\omega+C(\Omega^\omega)\omega)=\psi(\psi_{I(I,0)}(0))$$.

Then $$C(\Omega^\omega+\Omega C(\Omega^\omega)\omega)=\psi(\psi_{I(I(1,0),0)}(0))$$.

Then $$C(\Omega^\omega+\Omega^2C(\Omega^\omega)\omega)=\psi(\psi_{I(I(2,0),0)}(0))$$.

So $$C(\Omega^\omega2)=\psi(\psi_{I(\psi_{I(\omega,0)}(0),0)}(0))$$.

Then $$C(\Omega^\omega3)=\psi(\psi_{I(\psi_{I(\psi_{I(\omega,0)}(0),0)}(0),0)}(0))$$.

So $$C(\Omega^\omega\omega)=\psi(\psi_{I(1,0,0)}(0))$$.

More details will be shown in my analysis page.