Difference between revisions of "Feferman-Schütte"
Revision as of 07:53, 30 December 2011
The Feferman-Schütte ordinal, denoted $\Gamma_0$ ("gamma naught"), is the first ordinal fixed point of the $\Gamma$ function, defined via the Veblen function. It figures prominently in the ordinal-analysis of the proof-theoretic strength of several mathematical theories.
This page needs additional information.
Please add discussion