Equivalence between theorems: the research program of reverse mathematics

MaRDI QIDQ5320933zbMATH OpenFDO

Authors Alberto Marcone

Publication date 22 July 2009

zbMATH Keywords

reverse mathematicssurvey paper

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30)

Recommendations

• scientific article; zbMATH DE number 3924748
• scientific article; zbMATH DE number 2019844
• Some nonstandard equivalences in reverse mathematics
• scientific article; zbMATH DE number 4197982
• scientific article; zbMATH DE number 2236640

Cited in

(3)

• Refining the taming of the reverse mathematics zoo
• Reverse mathematics and marriage problems with finitely many solutions
• Δ₃^O-determinacy, comprehension and induction

This page was built for publication: Equivalence between theorems: the research program of reverse mathematics

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