Googology

Hello, I’m back (who could have expected?) with my new OCF (Not an ordinal notation.). We follow several conventions from the world of OCFs. First, let $$\Omega_\nu=\begin{cases} 1 & \mbox{if }n=0 \\ \aleph_\nu & \mbox{otherwise}\end{cases}$$ And let \(\Omega=\Omega_1\). Then we define the function \(\psi_\nu(\alpha)\) as the least ordinal that cannot be constructed by: All ordinals […]