Carlucci, Lorenzo; Mainardi, Leonardo - 01a Articolo in rivista
paper: ARCHIVE FOR MATHEMATICAL LOGIC (Springer Verlag Germany:Tiergartenstrasse 17, D 69121 Heidelberg Germany:011 49 6221 3450, EMAIL: g.braun@springer.de, INTERNET: http://www.springer.de, Fax: 011 49 6221 345229) pp. 447-472 - issn: 0933-5846 - wos: (0) - scopus: 2-s2.0-85183773581 (0)
11573/1351100 - 2019 -
A note on the ordinal analysis of RCA0 + WO(σ) Carlucci, Lorenzo; Mainardi, Leonardo; Rathjen, Michael - 04b Atto di convegno in volume
conference: Computability in Europe 2019 (Durham; United Kingdom)
book: Proceedings of Computability in Europe 2019: Computing with Foresight and Industry - (978-3-030-22995-5; 978-3-030-22996-2)