Lorenzo Carlucci, Leonardo Mainardi, Michael Rathjen. A Note on the Ordinal Analysis of \mathbf RCA_0 + \mathrm WO(\mathbf σ ) RCA 0 + WO ( σ ). In Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero, editors, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings. Volume 11558 of Lecture Notes in Computer Science, pages 144-155, Springer, 2019. [doi]
Abstract is missing.