The Gödel hierarchy and reverse mathematics

MaRDI QIDQ3079620zbMATH OpenFDO

Authors Stephen G. Simpson

Publication date 2 March 2011

zbMATH Keywords

survey paperreverse mathematicspredicativityfinitisticconsistency strengthpredicative reductionism

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• scientific article; zbMATH DE number 3924748
• Ordinal inequalities, transfinite induction, and reverse mathematics
• Publication:4206703
• scientific article; zbMATH DE number 1226875
• Publication:5752567

Cited in

(15)

• Splittings and disjunctions in reverse mathematics
• Mass problems associated with effectively closed sets
• Nets and reverse mathematics
• On the uncountability of \(\mathbb{R}\)
• The inevitability of logical strength: strict reverse mathematics
• The Operational Perspective: Three Routes
• scientific article; zbMATH DE number 2236630 (Why is no real title available?)
• The Lovelace-De Morgan mathematical correspondence: a critical re-appraisal
• Sentient arithmetic and Gödel's theorems
• On the mathematical and foundational significance of the uncountable
• scientific article; zbMATH DE number 4070873 (Why is no real title available?)
• A note on continuous functions on metric spaces
• Foundations of mathematics: an optimistic message
• Reverse mathematics of topology: dimension, paracompactness, and splittings
• Hierarchical multiverse of sets

This page was built for publication: The Gödel hierarchy and reverse mathematics

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