Gentzen's consistency proof without heightlines

DOI10.1007/S00153-013-0324-0zbMath1275.03151OpenAlexW2057428959MaRDI QIDQ2377348

Annika Kanckos

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

zbMATH Keywords

consistencysequent calculusintuitionistic arithmeticordinal assignment

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Related Items (1)

Normalization proof for Peano arithmetic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory. 2nd ed
• Constructivism in mathematics. An introduction. Volume I
• Handbook of proof theory
• Derivation Lengths Classification of G\"odel's T Extending Howard's Assignment
• Consistency of Heyting arithmetic in natural deduction
• On permuting cut with contraction
• A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic
• A proof of Gentzen's \textit{Hauptsatz} without multicut

This page was built for publication: Gentzen's consistency proof without heightlines