A Note on How to Extend Gentzen’s Second Consistency Proof to a Proof of Normalization for First Order Arithmetic

DOI10.1007/978-3-319-10103-3_6zbMath1380.03065OpenAlexW2346016356MaRDI QIDQ5361247

Dag Prawitz

Publication date: 27 September 2017

Published in: Gentzen's Centenary (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-10103-3_6

zbMATH Keywords

consistencyGentzenfirst-order Peano arithmeticnormalization theorem

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Structure of proofs (03F07) Relative consistency and interpretations (03F25)

Related Items (1)

Normalization proof for Peano arithmetic

This page was built for publication: A Note on How to Extend Gentzen’s Second Consistency Proof to a Proof of Normalization for First Order Arithmetic