Gentzen's consistency proof without heightlines
From MaRDI portal
Publication:2377348
DOI10.1007/S00153-013-0324-0zbMATH Open1275.03151OpenAlexW2057428959MaRDI QIDQ2377348FDOQ2377348
Publication date: 28 June 2013
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-013-0324-0
Recommendations
- A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic
- Consistency of Heyting arithmetic in natural deduction
- On Gentzen's first consistency proof for arithmetic
- Extending the First Gentzen's Consistency Proof to the Intuitionistic Case
- Cut elimination in sequent calculi with implicit contraction, with a conjecture on the origin of Gentzen's altitude line construction
Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)
Cites Work
- Constructivism in mathematics. An introduction. Volume I
- Handbook of proof theory
- Title not available (Why is that?)
- Proof theory. 2nd ed
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Consistency of Heyting arithmetic in natural deduction
- Derivation lengths classification of Gödel's T extending Howard's assignment
- On permuting cut with contraction
- A proof of Gentzen's \textit{Hauptsatz} without multicut
- A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic
Cited In (6)
- A negationless interpretation of intuitionistic theories
- Two measures for proving Gentzen's Hauptsatz without mix
- Extending the First Gentzen's Consistency Proof to the Intuitionistic Case
- The machinery of consistency proofs
- A negationless interpretation of intuitionistic theories. I
- Normalization proof for Peano arithmetic
This page was built for publication: Gentzen's consistency proof without heightlines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2377348)
