Extending the First Gentzen's Consistency Proof to the Intuitionistic Case

DOI10.1093/JIGPAL/12.6.549MaRDI QIDQ4656552zbMATH OpenOpenAlexFDO

Authors María Fernanda Pallares

Publication date 11 March 2005

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/12.6.549

zbMATH Keywords

consistencyproof theoryPeano arithmeticGentzenreduction process for sequents

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Proof theory in general (including proof-theoretic semantics) (03F03) History of mathematical logic and foundations (03-03) First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Recommendations

• A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic
• Gentzen's consistency proof without heightlines
• Gentzen's original proof of the consistency of arithmetic revisited
• On Gentzen's first consistency proof for arithmetic
• Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation

Cited in

(8)

• On Gentzen's first consistency proof for arithmetic
• A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic
• Explaining the Gentzen-Takeuti reduction steps: A second-order system
• Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation
• Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
• Gentzen's original proof of the consistency of arithmetic revisited
• From \textit{Hauptsatz} to \textit{Hilfssatz}
• Gentzen's consistency proof without heightlines

This page was built for publication: Extending the First Gentzen's Consistency Proof to the Intuitionistic Case

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