scientific article; zbMATH DE number 4127166

zbMath0688.03002MaRDI QIDQ4206703

F.R.Drake

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

consistency strengthreverse mathematicsprimitive recursive arithmeticfirst order logiccomprehension principlefirst order formal systemcurrent state of the foundations of 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)

Related Items (2)

Reverse mathematics and its meaning ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

This page was built for publication: