User blog comment:Deedlit11/Ordinal Notations IV: Up to a weakly inaccessible cardinal/@comment-24509095-20140507175906/@comment-24509095-20140509064906

Well, I don't really understand much of the formalism so yeah. Also, It isn't economical because you can't use things like $$\psi_{I\omega}$$. Though it isn't really a good idea to extend the $$\psi$$ function to these things.