Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

DOI10.1007/978-3-319-02171-3MaRDI QIDQ2863601zbMATH OpenOpenAlexFDO

Authors Anna Horská

Publication date 22 November 2013

Published in SpringerBriefs in Philosophy (Search for Journal in Brave)

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

zbMATH Keywords

ordinal notationGentzen's 1936 consistency proofreduction of derivation

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) First-order arithmetic and fragments (03F30) Recursive ordinals and ordinal notations (03F15)

Recommendations

• Gentzen's original proof of the consistency of arithmetic revisited
• Gentzen's consistency proof in context
• Gentzen's consistency proofs for arithmetic
• From \textit{Hauptsatz} to \textit{Hilfssatz}
• Extending the First Gentzen's Consistency Proof to the Intuitionistic Case
• Takeuti's well-ordering proof: an accessible reconstruction
• Consistency proof via pointwise induction
• Consistency of Heyting arithmetic in natural deduction
• scientific article; zbMATH DE number 3333259
• From Stenius' consistency proof to Schütte's cut elimination for \(\omega\)-arithmetic

Cited in

(12)

• The machinery of consistency proofs
• Gentzen's original consistency proof and the bar theorem
• Gentzen's consistency proof in context
• Takeuti's well-ordering proof: an accessible reconstruction
• Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation
• Incompleteness theorems, large cardinals, and automata over finite words
• From \textit{Hauptsatz} to \textit{Hilfssatz}
• Incompleteness Theorems, Large Cardinals, and Automata Over Finite Words
• Decoding Gentzen's Notation
• Gentzen's consistency proofs for arithmetic
• Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
• NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM

This page was built for publication: Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

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