Feferman–Schütte ordinal

In mathematics, the Feferman–Schütte ordinal Γ₀ is a large countable ordinal. It is the proof theoretic ordinal of several mathematical theories. It is named after Solomon Feferman and Kurt Schütte.

It is sometimes said to be the first impredicative ordinal, though this is controversial, partly because there is no generally accepted precise definition of "predicative". Sometimes an ordinal is said to be predicative if it is less than Γ₀.

Definition

The Feferman–Schütte ordinal can be defined as the smallest ordinal that cannot be obtained by starting with 0 and using the operations of ordinal addition and the Veblen functions φ_α(β). That is, it is the smallest α such that φ_α(0) = α.

References

• Pohlers, Wolfram (1989), Proof theory, Lecture Notes in Mathematics, vol. 1407, Berlin: Springer-Verlag, ISBN 3-540-51842-8, MR1026933
• Weaver, Nik (2005), Predicativity beyond Gamma_0