A note on the ordinal analysis of \(\mathrm{RCA}_0+\mathrm{WO}(\mathbf{\sigma})\)
From MaRDI portal
Publication:2179357
DOI10.1007/978-3-030-22996-2_13zbMath1434.03131OpenAlexW2955819537MaRDI QIDQ2179357
Lorenzo Carlucci, Leonardo Mainardi, Michael Rathjen
Publication date: 12 May 2020
Full work available at URL: https://doi.org/10.1007/978-3-030-22996-2_13
Foundations of classical theories (including reverse mathematics) (03B30) Recursive ordinals and ordinal notations (03F15)
