Normalization proof for Peano arithmetic

DOI10.1007/S00153-015-0450-YzbMath1339.03050OpenAlexW2188987066MaRDI QIDQ892146

Annika Kanckos

Publication date: 18 November 2015

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-015-0450-y

zbMATH Keywords

normalizationnatural deductionPeano arithmetic

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Gentzen's consistency proof without heightlines
• Consistency of Heyting arithmetic in natural deduction
• A Note on How to Extend Gentzen’s Second Consistency Proof to a Proof of Normalization for First Order Arithmetic

This page was built for publication: Normalization proof for Peano arithmetic