Page history
Jump to navigation
Jump to search
30 August 2023
RhubarbJayde
no edit summary
+29
RhubarbJayde
no edit summary
+61
RhubarbJayde
no edit summary
+12
RhubarbJayde
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..."
+742