Gentzen’s Original Consistency Proof and the Bar Theorem

DOI10.1007/978-3-319-10103-3_8zbMath1378.03047OpenAlexW2343121769MaRDI QIDQ5361249

William W. Tait

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_8

zbMATH Keywords

Gentzenbar theoremconsistency prooffirst-order number theory

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50) Relative consistency and interpretations (03F25)

Related Items (2)

Lorenzen's Proof of Consistency for Elementary Number Theory ⋮ FROM STENIUS’ CONSISTENCY PROOF TO SCHÜTTE’S CUT ELIMINATION FOR ω-ARITHMETIC

This page was built for publication: Gentzen’s Original Consistency Proof and the Bar Theorem