All public logs

Combined display of all available logs of Apeirology Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 10:51, 30 August 2023 RhubarbJayde talk contribs created page Bachmann-Howard ordinal (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...") Tag: Visual edit