A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic

DOI10.1007/978-3-319-10103-3_7MaRDI QIDQ5361248zbMATH OpenOpenAlexFDO

Authors Annika Siders

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_7

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Recommendations

• Gentzen's consistency proofs for arithmetic
• On Gentzen's first consistency proof for arithmetic
• Gentzen's original proof of the consistency of arithmetic revisited
• Consistency of Heyting arithmetic in natural deduction
• Extending the First Gentzen's Consistency Proof to the Intuitionistic Case
• scientific article; zbMATH DE number 1088186
• Proving consistency of equational theories in bounded arithmetic
• Gentzen's consistency proof in context
• PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC
• A proof theory for the logic of provability in true arithmetic

Cited in

(7)

• The machinery of consistency proofs
• Gentzen's consistency proof without heightlines
• Consistency of Heyting arithmetic in natural deduction
• Extending the First Gentzen's Consistency Proof to the Intuitionistic Case
• Takeuti's well-ordering proof: an accessible reconstruction
• On Heckits, LATE, and Numerical Equivalence
• Gentzen's overview of calculi and reductions in consistency proofs

This page was built for publication: A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic

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