From Hauptsatz to Hilfssatz

DOI10.1007/978-3-319-10103-3_5zbMath1380.03067OpenAlexW2345331818MaRDI QIDQ5361246

Jan von Plato

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_5

zbMATH Keywords

consistencyarithmeticGentzen's \textit{Hauptsatz}Gentzen's \textit{Hilfssatz}

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)

Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

This page was built for publication: From Hauptsatz to Hilfssatz