User blog comment:Wythagoras/FGH of Dollar Function new version/@comment-5029411-20131021215814/@comment-10429372-20131022054405

No. [0->[0]&-> [0]&11&21 1] is just psi(chi(I_{e(M+Omega)})). The notation using inaccessible and Mahlo cardinals is much stronger as you think, in fact, psi(chi(I_{e(M2)})) = psi(chi(I_{e(M+chi(I_{e(M+chi(I_{e(M+...)}))}))}))