Introduction to ordinal collapsing functions

Please see talk page before editing.

Feel free to add and remove which ordinals and subsections are added.

Also, please add definitions for the OCFs. We want them to be as simple as possible, and also easy to explain.

\(\psi(\Phi(1,0))\)
Same as \(\psi(\psi_I(0))\), but doesn't need explanation of I. \(\Phi\) is the Veblen function on \(\alpha\mapsto\omega_\alpha\)

\(\psi(\Delta_0)\)
\(\Delta_0\) is the least weakly hyper-inaccessible cardinal.

Rathjen's Ordinal
\(\psi(\chi(\varepsilon_{M+1}))\).