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