Bachmann-Howard ordinal: Difference between revisions
Created page with "The Bachmann-Howard ordinal is a key milestone in the set of recursive ordinals. It is equal to the limit of the dimensional Veblen function, as well as the Buchholz hydra with only zero and one labels. It was originally discovered as the limit of a basic ordinal collapsing function, namely Bachmann's psi, which was used in ordinal-analysis. In particular, the Bachmann-Howard ordinal is exactly the proof-theoretic ordinal of basic Kripke-Platek s..."
RhubarbJayde (talk | contribs) (Created page with "The Bachmann-Howard ordinal is a key milestone in the set of recursive ordinals. It is equal to the limit of the dimensional Veblen function, as well as the Buchholz hydra with only zero and one labels. It was originally discovered as the limit of a basic ordinal collapsing function, namely Bachmann's psi, which was used in ordinal-analysis. In particular, the Bachmann-Howard ordinal is exactly the proof-theoretic ordinal of basic Kripke-Platek s...") |
(No difference)
|