The Feferman-Schütte ordinal, $\Gamma_0$

From Cantor's Attic
Revision as of 08:25, 30 December 2011 by Jdh (Talk | contribs)

Jump to: navigation, search

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

Material needed

    This article is a stub. Please help us to improve Cantor's Attic by adding information.