Buchholz's psi-functions: Revision history

25 March 2024

• curprev 16:5416:54, 25 March 2024‎ CreeperBomb talk contribs‎ 3,288 bytes −2,039‎ Undo revision 696 by Cobsonwabag (talk) undo Tag: Undo
• curprev 06:0206:02, 25 March 2024‎ Cobsonwabag talk contribs‎ 5,327 bytes +2,039‎ No edit summary undo

26 December 2023

• curprev 16:2716:27, 26 December 2023‎ RhubarbJayde talk contribs‎ 3,288 bytes +2‎ No edit summary undo Tag: Visual edit
• curprev 16:2716:27, 26 December 2023‎ RhubarbJayde talk contribs‎ 3,286 bytes −15‎ No edit summary undo Tag: Visual edit

31 August 2023

• curprev 01:3501:35, 31 August 2023‎ EricABQ talk contribs‎ 3,301 bytes +18‎ No edit summary undo
• curprev 01:3301:33, 31 August 2023‎ EricABQ talk contribs‎ 3,283 bytes +16‎ No edit summary undo Tag: Visual edit: Switched

30 August 2023

• curprev 15:1115:11, 30 August 2023‎ RhubarbJayde talk contribs‎ 3,267 bytes +192‎ No edit summary undo Tag: Visual edit
• curprev 15:0915:09, 30 August 2023‎ RhubarbJayde talk contribs‎ 3,075 bytes −2‎ No edit summary undo Tag: Visual edit
• curprev 15:0815:08, 30 August 2023‎ RhubarbJayde talk contribs‎ 3,077 bytes +1,934‎ No edit summary undo Tag: Visual edit

29 November 2022

• curprev 02:3302:33, 29 November 2022‎ C7X talk contribs‎ 1,143 bytes +19‎ No edit summary undo
• curprev 02:3302:33, 29 November 2022‎ C7X talk contribs‎ 1,124 bytes +1,124‎ 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..."