Equal to phi(1,0,0,0…) in extended Veblen notation or phi(120) in my super-extended Veblen notation.
Also equal to psi(omega1^omega1^omega) in Bucholz’s psi.
Also equal to psi(omega1^omega1^omega) in Bucholz’s psi.
by Joseph The Googologist May 25, 2025