Veblen hierarchy: Revision history

22 October 2023

• curprev 17:0317:03, 22 October 2023‎ C7X talk contribs‎ 3,584 bytes +3‎ No edit summary undo

13 September 2023

• curprev 21:2621:26, 13 September 2023‎ C7X talk contribs‎ 3,581 bytes −12‎ →‎References undo
• curprev 21:2621:26, 13 September 2023‎ C7X talk contribs‎ 3,593 bytes 0‎ →‎References undo
• curprev 21:2521:25, 13 September 2023‎ C7X talk contribs‎ 3,593 bytes +30‎ No edit summary undo

31 August 2023

• curprev 23:0323:03, 31 August 2023‎ C7X talk contribs‎ 3,563 bytes +43‎ No edit summary undo
• curprev 23:0123:01, 31 August 2023‎ C7X talk contribs‎ 3,520 bytes +80‎ No edit summary undo

30 August 2023

• curprev 20:5820:58, 30 August 2023‎ RhubarbJayde talk contribs‎ 3,440 bytes +1,438‎ No edit summary undo Tag: Visual edit
• curprev 20:4720:47, 30 August 2023‎ TrialPurpleCube talk contribs‎ 2,002 bytes −938‎ No edit summary undo
• curprev 11:1411:14, 30 August 2023‎ RhubarbJayde talk contribs‎ 2,940 bytes +633‎ No edit summary undo Tag: Visual edit
• curprev 10:3310:33, 30 August 2023‎ RhubarbJayde talk contribs‎ 2,307 bytes +518‎ No edit summary undo Tag: Visual edit

28 August 2023

• curprev 15:5515:55, 28 August 2023‎ RhubarbJayde talk contribs‎ 1,789 bytes +606‎ No edit summary undo Tag: Visual edit

2 March 2023

• curprev 16:5716:57, 2 March 2023‎ 82.8.204.174 talk‎ 1,183 bytes 0‎ No edit summary undo Tag: Visual edit
• curprev 16:5616:56, 2 March 2023‎ 82.8.204.174 talk‎ 1,183 bytes +1,183‎ Created page with "The Veblen hierarchy is a sequence of ordinal-indexed functions \( \varphi_\alpha: \mathrm{Ord} \to \mathrm{Ord} \) which extend Cantor normal form by beginning with the base function \( \alpha \mapsto \omega^\alpha \) and iteratively taking fixed points at each next step. Formally, letting \( \mathrm{AP} := \{\omega^\alpha: \alpha \in \mathrm{Ord}\} \), we can define \( \varphi_\alpha(\beta) := \min\{\zeta \in \mathrm{AP}: \forall \gamma ((\gamma < \alpha \rightarro..." Tag: Visual edit