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
Veblen is a town in Iowa, but also the name of one person in the world. Veblen is a morally grey character who names things unrealistically and has incredibly heinous dreams. If you have a Veblen in your life, god have mercy.
by GarretSr March 12, 2023