User:Gro-Tsen/An ordinal collapsing function

This is an attempt to define and explicit a not-too-complicated ordinal collapsing function which should be useful for pedagogical purposes (to construct large countable ordinals). It presumably defines an ordinal notation up to the Bachmann-Howard ordinal, but I need to check this.

Definition

Let $\Omega$ stand for the first uncountable ordinal, or, in fact, any ordinal guaranteed to be greater than all the countable ordinals which will be constructed (for example, the Church-Kleene ordinal is adequate for our purposes).

We define a function $\psi$, taking an arbitrary ordinal $\alpha$ to a countable ordinal $\psi (\alpha )$, recursively on $\alpha$, as follows:

Assume $\psi (\beta )$ has been defined for all $\beta <\alpha$, and we wish to define $\psi (\alpha )$.

Let $C(\alpha )$ be the set of ordinals generated starting from $0$, $1$, $\omega$ and $\Omega$ by recursively applying the following functions: ordinal addition, multiplication and exponentiation and the function $\psi \upharpoonright _{\alpha }$, i.e., the restriction of $\psi$ to ordinals $\beta <\alpha$. (Formally, we define $C(\alpha )_{0}=\{0,1,\omega ,\Omega \}$ and inductively $C(\alpha )_{n+1}=C(\alpha )_{n}\cup \{\beta _{1}+\beta _{2},\beta _{1}\beta _{2},{\beta _{1}}^{\beta _{2}}:\beta _{1},\beta _{2}\in C(\alpha )_{n}\}\cup \{\psi (\beta ):\beta \in C(\alpha )_{n}\land \beta <\alpha \}$ for all integers $n$ and we let $C(\alpha )$ be the union of the $C(\alpha )_{n}$ for all $n$.)

Then $\psi (\alpha )$ is defined as the smallest ordinal not belonging to $C(\alpha )$.