Random
Source Code

Small Veblen Ordinal (SVO)

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.

Hi, you have Small Veblen Ordinal (SVO) dojo points?

by Joseph The Googologist May 25, 2025