Page history
Jump to navigation
Jump to search
30 August 2023
RhubarbJayde
no edit summary
+53
RhubarbJayde
no edit summary
RhubarbJayde
Created page with "The Extended Buchholz ordinal, sometimes known as OFP (short for omega-fixed-point), is the limit of an extension of Buchholz's original set of ordinal collapsing functions, defined by Denis Maksudov, which allows to collapse ordinals such as \( \Omega_{\omega + 1} \) (which corresponds to the Takeuti-Feferman-Buchholz ordinal), \( \Omega_{\omega^2} \) (which is believed to correspond to the BMS matrix (0,0,0)(1,1,1)(2,1,1)), or \( \Omega_{\..."
+998