Extending the First Gentzen's Consistency Proof to the Intuitionistic Case
From MaRDI portal
Publication:4656552
DOI10.1093/JIGPAL/12.6.549zbMath1061.03067OpenAlexW2014977518MaRDI QIDQ4656552
Publication date: 11 March 2005
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/12.6.549
History of mathematics in the 20th century (01A60) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03) Intuitionistic mathematics (03F55)
Related Items (2)
Explaining the Gentzen-Takeuti reduction steps: A second-order system ⋮ 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: Extending the First Gentzen's Consistency Proof to the Intuitionistic Case
