On Gentzen’s First Consistency Proof for Arithmetic

DOI10.1007/978-3-319-10103-3_4zbMath1378.03044OpenAlexW2345956165MaRDI QIDQ5361245

Wilfried Buchholz

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_4

zbMATH Keywords

arithmeticGentzenconsistency proof

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)

Related Items (1)

Decoding Gentzen's Notation

This page was built for publication: On Gentzen’s First Consistency Proof for Arithmetic