The Gödel hierarchy and reverse mathematics

zbMATH Open1223.03006MaRDI QIDQ3079620FDOQ3079620

Stephen G. Simpson

Publication date: 2 March 2011

Recommendations

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

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)

Cited In (15)

• Splittings and disjunctions in reverse mathematics
• Nets and reverse mathematics
• Mass problems associated with effectively closed sets
• The inevitability of logical strength: strict reverse mathematics
• The Operational Perspective: Three Routes
• Foundations of Mathematics: an Optimistic Message
• Title not available (Why is that?)
• The Lovelace-De Morgan mathematical correspondence: a critical re-appraisal
• ON THE UNCOUNTABILITY OF
• Sentient arithmetic and Gödel's theorems
• On the mathematical and foundational significance of the uncountable
• Title not available (Why is that?)
• A note on continuous functions on metric spaces
• Hierarchical multiverse of sets
• Reverse mathematics of topology: dimension, paracompactness, and splittings

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)