# Difference between revisions of "Feferman-Schütte"

From Cantor's Attic

m (moved Feferman-Schütte ordinal to Feferman-Schütte) |
|||

Line 13: | Line 13: | ||

== Ordinal analysis == | == Ordinal analysis == | ||

− | + | 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.