Ψ(Ω ω)

The ordinal \(\psi_0(\Omega_{\omega}\) is a large countable ordinal. It is the proof theoretic ordinal of \(\Pi_1^1\)-\(\text{CA}_0\), a subsystem of second order arithmetic.