1 problem

Let $n\in\omega$ be the number of applications of the hyperjump operator used to prove a theorem provable from $\Pi^1_1\mathchar`-\mathsf{CA}_0$. Hyperjump-iteration classification…