User:ARsygo/4368 ordinals and similar googolism name/3

Go back to first page, or second page.

Continued from the second part, we left off at ordinal \(\Gamma_{0}\), aka Feferman–Schütte ordinal.

In other OCF, \(\Gamma_{0}\) can be denoted as:


 * \(\psi_0({\Omega^{\Omega}})\) in Buchholz's function
 * \(\psi({\Omega^{\Omega}})\) in Madore's ψ
 * \(θ(\Omega)\) in Feferman's θ

FS #251