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).

• 11:03, 30 August 2023 RhubarbJayde talk contribs created page Buchholz ordinal (Created page with "The Buchholz ordinal is the limit of Wilfried Buchholz's original set of ordinal collapsing functions, with finite indices, and is equal to the limit of the sequence \( \omega \), \( \varepsilon_0 \), \( \mathrm{BHO} \), \( \psi_0(\Omega_3) \), ... - i.e. it is equal to \( \psi_0(\Omega_\omega) \). It is also equal to the proof-theoretic ordinal of second-order arithmetic with comprehension restricted to \(\Pi^1_1\)-formulae, or of Peano arith...") Tag: Visual edit