Takeuti-Feferman-Buchholz ordinal

\(\Psi_0(\Omega_\omega)\) (called "Takeuti-Feferman-Buchholz ordinal") is a large countable. It is the proof-theoretic ordinal measuring the strength of \(\Pi_1^1\)-\(\text{CA}_0\), a subsystem of second-order arithmetic.