Page history
Jump to navigation
Jump to search
25 March 2024
30 August 2023
RhubarbJayde
no edit summary
+29
RhubarbJayde
no edit summary
+127
RhubarbJayde
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..."
+802