A note on the ordinal analysis of RCA₀+WO()

DOI10.1007/978-3-030-22996-2_13zbMATH Open1434.03131OpenAlexW2955819537MaRDI QIDQ2179357FDOQ2179357

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

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Recursive ordinals and ordinal notations (03F15)

Cited In (1)

• Splittings and disjunctions in reverse mathematics

This page was built for publication: A note on the ordinal analysis of \(\mathrm{RCA}_0+\mathrm{WO}(\mathbf{\sigma})\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2179357)