In mathematics, the Bachmann–Howard ordinal (also known as the Howard ordinal, or Howard–Bachmann 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.
In mathematics, the Bachmann–Howard ordinal (also known as the Howard ordinal, or Howard–Bachmann 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.
Source: Wikipedia "Bachmann–Howard ordinal" · CC BY-SA 4.0
Share this article: X · Bluesky