ByNobleID
    Comparing WO$(\omega^\omega)$ with $\Sigma^0_2$ induction | NobleID