Difference between revisions of "Feferman-Schütte"

From Cantor's Attic
Jump to: navigation, search
Line 13: Line 13:
 
== Ordinal analysis ==
 
== Ordinal analysis ==
  
Please add discussion
+
Material needed
 +
 
 +
{{stub}}

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