Normalization proof for Peano arithmetic

DOI10.1007/S00153-015-0450-YzbMATH Open1339.03050OpenAlexW2188987066MaRDI QIDQ892146FDOQ892146

Authors: Annika Siders 

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

Recommendations

• A note on how to extend Gentzen's second consistency proof to a proof of normalization for first order arithmetic
• Consistency of Heyting arithmetic in natural deduction
• scientific article; zbMATH DE number 48365
• A formalization of Sambins's normalization for GL
• A normal form for logical derivations implying one for arithmetic derivations

zbMATH Keywords

natural deductionPeano arithmeticnormalization

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Consistency of Heyting arithmetic in natural deduction
• Gentzen's consistency proof without heightlines
• A note on how to extend Gentzen's second consistency proof to a proof of normalization for first order arithmetic

Cited In (4)

• Normalization Proof for Derivations in PA after P. Cohen
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q892146)