Normalization proof for Peano arithmetic

DOI10.1007/S00153-015-0450-YMaRDI QIDQ892146zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

natural deductionPeano arithmeticnormalization

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3328152 (Why is no real title available?)
• 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
• Gentzen's consistency proof without heightlines

Cited in

(4)

• Normalization Proof for Derivations in PA after P. Cohen
• scientific article; zbMATH DE number 3559519 (Why is no real title available?)
• A note on how to extend Gentzen's second consistency proof to a proof of normalization for first order arithmetic
• scientific article; zbMATH DE number 598799 (Why is no real title available?)

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)