Bachmann–Howard ordinal

In mathematics, the Bachmann–Howard ordinal (or Howard ordinal) is a large countable ordinal. It is the proof-theoretic ordinal of several mathematical theories, such as Kripke–Platek set theory (with the axiom of infinity) and the system CZF of constructive set theory. It was introduced by Heinz Bachmann (1950) and William Alvin Howard (1972).

Definition

The Bachmann–Howard ordinal is defined using an ordinal collapsing function:

ε_α enumerates the epsilon numbers, the ordinals ε such that ω^ε = ε.
Ω = ω₁ is the first uncountable ordinal.
ε_Ω+1 is the first epsilon number after Ω = ε_Ω.
ψ(α) is defined to be the smallest ordinal that cannot be constructed by starting with 0, 1, ω and Ω, and repeatedly applying ordinal addition, multiplication and exponentiation, and ψ to previously constructed ordinals (except that ψ can only be applied to arguments less than α, to ensure that it is well defined).
The Bachmann–Howard ordinal is ψ(ε_Ω+1).

The Bachmann–Howard ordinal can also be defined as $\phi _{{\varepsilon _{{\Omega +1}}}}(0)$ for an extension of the Veblen functions φ_α to certain functions α of ordinals; this extension is not completely straightforward.

References

Bachmann, Heinz (1950), "Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordnungszahlen", Vierteljschr. Naturforsch. Ges. Zürich, 95: 115–147, MR 0036806
Howard, W. A. (1972), "A system of abstract constructive ordinals.", J. Symbolic Logic, Association for Symbolic Logic, 37 (2): 355–374, JSTOR 2272979, MR 0329869, doi:10.2307/2272979
Pohlers, Wolfram (1989), Proof theory, Lecture Notes in Mathematics, 1407, Berlin: Springer-Verlag, ISBN 3-540-51842-8, MR 1026933
Rathjen, Michael (August 2005). "Proof Theory: Part III, Kripke-Platek Set Theory" (PDF). Retrieved 2008-04-17. (slides of a talk given at Fischbachau)

Large countable ordinals
First infinite ordinal ω Epsilon numbers ε₀ Feferman–Schütte ordinal Γ₀ Ackermann ordinal θ(Ω²) small Veblen ordinal θ(Ω^ω) large Veblen ordinal θ(Ω^Ω) Bachmann–Howard ordinal ψ(ε_Ω+1) Ψ₀(Ω_ω) Church–Kleene ordinal ω₁^CK

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.