On Gentzen's first consistency proof for arithmetic

DOI10.1007/978-3-319-10103-3_4MaRDI QIDQ5361245zbMATH OpenOpenAlexFDO

Authors Wilfried Buchholz

Publication date 27 September 2017

Published in Gentzen's Centenary (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-10103-3_4

zbMATH Keywords

arithmeticconsistency proofGentzen

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30)

Recommendations

• Gentzen's original proof of the consistency of arithmetic revisited
• Gentzen's consistency proof in context
• Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation
• Gentzen's consistency proofs for arithmetic
• Extending the First Gentzen's Consistency Proof to the Intuitionistic Case

Cited in

(12)

• Gentzen's consistency proof without heightlines
• Herbrand consistency of some arithmetical theories
• Gentzen's original proof of the consistency of arithmetic revisited
• Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation
• Gentzen's consistency proofs for arithmetic
• Extending the First Gentzen's Consistency Proof to the Intuitionistic Case
• Decoding Gentzen's Notation
• EARLY BOLZANO ONGROUND-CONSEQUENCEPROOFS
• Gentzen's consistency proof in context
• Gentzen's anti-formalist views
• A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic
• Gentzen's original consistency proof and the bar theorem

This page was built for publication: On Gentzen's first consistency proof for arithmetic

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