Difference between revisions of "Feferman-Schütte"

From Cantor's Attic
Jump to: navigation, search
Line 1: Line 1:
{{DISPLAYTITLE: The Feferman-Schütte ordinal $\Gamma_0$}}
+
{{DISPLAYTITLE: The Feferman-Schütte ordinal, $\Gamma_0$}}
  
 
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.  
 
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.  

Revision as of 08:25, 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

Material needed


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