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

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

Authors 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)

• scientific article; zbMATH DE number 5057388
• Ordinal inequalities, transfinite induction, and reverse mathematics
• Reverse mathematics and well-ordering principles: a pilot study
• scientific article; zbMATH DE number 2236637
• scientific article; zbMATH DE number 2236636

(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)