Gentzen's consistency proofs for arithmetic
From MaRDI portal
Publication:4648945
Recommendations
- Gentzen's consistency proof in context
- Gentzen's original proof of the consistency of arithmetic revisited
- From \textit{Hauptsatz} to \textit{Hilfssatz}
- On Gentzen's first consistency proof for arithmetic
- Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
Cited in
(21)- On Gentzen's first consistency proof for arithmetic
- MÜNCHHAUSEN PROVABILITY
- Hilbert's Second Problem (the consistency of arithmetic)
- A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic
- Theodorus’ proofs of incommensurabilities with Gnomons
- scientific article; zbMATH DE number 1867332 (Why is no real title available?)
- Gentzen's consistency proof in context
- Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic
- Gentzen's second consistency proof and strong cut-elimination
- 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
- Validating Brouwer's continuity principle for numbers using named exceptions
- Herbrand consistency of some arithmetical theories
- Gentzen's original consistency proof and the bar theorem
- EARLY BOLZANO ONGROUND-CONSEQUENCEPROOFS
- From \textit{Hauptsatz} to \textit{Hilfssatz}
- Lorenzen's Proof of Consistency for Elementary Number Theory
- The consistency of arithmetic
- VON NEUMANN’S CONSISTENCY PROOF
- PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC
This page was built for publication: Gentzen's consistency proofs for arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4648945)
