Countable limit of Extended Buchholz's function

\(\psi(\psi_I(0))\) is a large countable ordinal. Michael Rathjen's ordinal collapsing function \(\psi\) is used here along with \(I\), the first inaccessible cardinal. \(\psi_I(0)\) is the omega fixed point. It is the proof-theoritic ordinal of \(\Pi_1^1-\text{TR}_0\), a susbystem of second-order arithmetic.

As there is not currently a notation to define \(\psi(\psi_I(0))\) on the ordinal notations article, we define a simple notation to do this below:

Note: this specific function - not the function used in the title - was added because it is believed that this function is easier to understand than the one used in the title.

\(C_0(\alpha,\beta) = \{0\} \cup \beta\)

\(C_{n+1}(\alpha,\beta) = \{\gamma+\delta,\omega^\gamma,\omega_\gamma,\vartheta_\gamma(\eta):\gamma,\delta,\eta\in C_n(\alpha,\beta);\eta<\alpha\}\)

\(C(\alpha,\beta) = \bigcup_{n<\omega}C_n(\alpha,\beta)\)

\(\vartheta_\nu(\alpha) = \min\{\beta:\omega_\nu\leq\beta;C(\alpha,\beta)\cap\omega_{\nu+1}\subseteq\beta\}\)

If we let \(\lambda\) be the omega fixed point, then \(\vartheta_0(\lambda)\) is \(\psi(\psi_I(0))\).

Ψ(ψᵢ(0))