Difference between revisions of "Feferman-Schütte"

From Cantor's Attic
Jump to: navigation, search
(No difference)

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.

Veblen hiearchy

Definition needed

Gamma function

Definition needed

Ordinal analysis

Please add discussion