Veblen 1908 hierarchy of normal functions phi_alpha; phi_0(x) = omega^x; foundation for representing recursive ordinals; basis of provability strength comparisons.
Veblen 1908 hierarchy of normal functions phi_alpha; phi_0(x) = omega^x; foundation for representing recursive ordinals; basis of provability strength comparisons.