Brief introduction to unprovability

MaRDI QIDQ3656422zbMATH OpenFDO

Authors Andrey Bovykin

Publication date 13 January 2010

zbMATH Keywords

survey paper

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• scientific article; zbMATH DE number 2236687
• Unprovability and proving unprovability
• An Unprovable Ramsey-Type Theorem
• Combinatorial unprovability proofs and their model-theoretic counterparts
• Gödel incompleteness theorems and the limits of their applicability. I

Cited in

(11)

• The scope of Gödel's first incompleteness theorem
• Unprovability and proving unprovability
• The strength of infinitary Ramseyan principles can be accessed by their densities
• Current research on Gödel's incompleteness theorems
• scientific article; zbMATH DE number 7577570 (Why is no real title available?)
• Computer Science Logic
• PROVING UNPROVABILITY
• Laver's results and low-dimensional topology
• On incompleteness in mathematics and the Paris-Harrington principle
• Unprovability threshold for the planar graph minor theorem
• Isaacson's thesis on arithmetical truth

This page was built for publication: Brief introduction to unprovability

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