11573/1351100 - 2019 -
A note on the ordinal analysis of RCA0 + WO(σ) Carlucci, Lorenzo; Mainardi, Leonardo; Rathjen, Michael - 04b Atto di convegno in volume
congresso: Computability in Europe 2019 (Durham; United Kingdom)
libro: Proceedings of Computability in Europe 2019: Computing with Foresight and Industry - (978-3-030-22995-5; 978-3-030-22996-2)