scientific article; zbMATH DE number 4127166

MaRDI QIDQ4206703zbMATH OpenFDO

Authors F.R.Drake

Publication date 1989

zbMATH Keywords

comprehension principleconsistency strengthcurrent state of the foundations of mathematicsfirst order formal systemfirst order logicprimitive recursive arithmeticreverse mathematics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Foundations of classical theories (including reverse mathematics) (03B30) Axiomatics of classical set theory and its fragments (03E30) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Reverse mathematics. Proofs from the inside out
• Reverse mathematics and its meaning
• scientific article; zbMATH DE number 3924748
• scientific article; zbMATH DE number 4197982
• scientific article; zbMATH DE number 1226875

Cited in

(8)

• Countable algebra and set existence axioms
• Harvey Friedman's research on the foundations of mathematics
• The Galvin-Prikry theorem and set existence axioms
• Reverse mathematics and its meaning
• The Gödel hierarchy and reverse mathematics
• scientific article; zbMATH DE number 4070873 (Why is no real title available?)
• The prehistory of the subsystems of second-order arithmetic
• scientific article; zbMATH DE number 3209151 (Why is no real title available?)

This page was built for publication:

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