Ordinal collapsing function: Difference between revisions

Revision as of 23:01, 28 June 2023

Revision as of 23:03, 28 June 2023

Line 57:

==== Beyond the Feferman–Schütte ordinal ====

We have <math>\psi(\Omega^\Omega+\Omega^\alpha) = \varphi_phi_{\Gamma_0+\alpha}(0)</math> for all <math>\alpha\leq\Gamma_1</math> where <math>\Gamma_1</math> is the next fixed point of <math>\alpha \mapsto \varphi_phi_\alpha(0)</math>. So, if <math>\alpha\mapsto\Gamma_\alpha</math> enumerates the fixed points in question (which can also be noted <math>\varphiphi(1,0,\alpha)</math> using the many-valued Veblen functions) we have <math>\psi(\Omega^\Omega(1+\alpha)) = \Gamma_\alpha</math>, until the first fixed point <math>\varphiphi(1,1,0)</math> of the <math>\alpha\mapsto\Gamma_\alpha</math> itself, which will be <math>\psi(\Omega^{\Omega+1})</math> (and the first fixed point <math>\varphiphi(2,0,0)</math> of the <math>\alpha \mapsto \varphiphi(1,\alpha,0)</math> functions will be <math>\psi(\Omega^{\Omega\cdot 2})</math>). In this manner:

* <math>\psi(\Omega^{\Omega^2})</math> is the [[Ackermann ordinal]] (the range of the notation <math>\varphiphi(\alpha,\beta,\gamma)</math> defined predicatively),

* <math>\psi(\Omega^{\Omega^\omega})</math> is the [[small Veblen ordinal|"small" Veblen ordinal]] (the range of the notations <math>\varphiphi(\cdot)</math> predicatively using finitely many variables),

* <math>\psi(\Omega^{\Omega^\Omega})</math> is the [[large Veblen ordinal|"large" Veblen ordinal]] (the range of the notations <math>\varphiphi(\cdot)</math> predicatively using transfinitely-but-predicatively-many variables),

* the limit <math>\psi(\varepsilon_{\Omega+1})</math> of <math>\psi(\Omega)</math>, <math>\psi(\Omega^\Omega)</math>, <math>\psi(\Omega^{\Omega^\Omega})</math>, etc., is the [[Bachmann–Howard ordinal]]: after this our function <math>\psi</math> is constant, and we can go no further with the definition we have given.