A Note on the Ordinal Analysis of \mathbf RCA_0 + \mathrm WO(\mathbf σ ) RCA 0 + WO ( σ ).

Lorenzo Carlucci, Leonardo Mainardi, Michael Rathjen

Browse the full CiE paper archive.