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

• 02:33, 29 November 2022 C7X talk contribs created page Buchholz's psi-functions (Created page with "Buchholz's \(\psi\)-functions are a family of functions \(\psi_\nu:(\omega+1)\times\textrm{Ord}\to\textrm{Ord},\;\alpha\mapsto\psi_\nu(\alpha)\) defined by Wilfried Buchholz in 1984. ==Historical background== In 1950, H. Bachmann defined the first ordinal collapsing function, Bachmann's \(\varphi\). While able to succinctly describe the Bachmann-Howard ordinal as \(\varphi_{\varepsilon_{\Omega+1}}(0)\), Bachmann's \(\varphi\) had a complicated definition Possible source...")