User blog comment:Deedlit11/Ordinal Notations V: Up to a weakly Mahlo cardinal/@comment-5029411-20130716001125

You made mistake.

It $$\gamma\rightarrow\psi_{I(1,0)}(\gamma)$$, not $$\gamma\rightarrow\psi I(1,0)(\gamma)$$