It is a good point that most of my work says "WIP."
\(\psi_0 = \psi\)[]
\(\psi(0) = \omega\)
\(\psi(\alpha+1) = \omega^{\psi(\alpha)}\)
Pre-\(\Omega_2\)[]
\(\psi(\Omega) = \varepsilon_\omega\)
\(\psi(\Omega+\alpha+1) = \varepsilon_{\psi(\Omega+\alpha)}\)
etc.
\(\Omega_2+\)[]
\(\psi(\Omega_{\alpha+1}) = \psi(\varepsilon_{\Omega_\alpha+1})\)
etc.
Inaccessible Stuff[]
Inaccessible[]
\(\psi(I) = \psi(\Phi_1(0))\)
\(\psi(I \times \alpha+\beta) = \psi(\Phi_\alpha(\beta))\)
etc.
\(\psi(I_{\alpha+1}) = \psi(\varepsilon_{I_\alpha+1})\)
etc.
Mahlo[]
\(\psi(M) = \psi(\textrm{sup}\{I,I(0,0),I(0;0)\dots\})\)
etc.
WCC[]
\(\psi(K) = \textrm{sup}\{\psi(I),\psi(M)\dots\}\)