Spector’s Proof of the Consistency of Analysis
From MaRDI portal
Publication:5361252
DOI10.1007/978-3-319-10103-3_11zbMath1378.03045OpenAlexW2345339032MaRDI QIDQ5361252
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_11
First-order arithmetic and fragments (03F30) Functionals in proof theory (03F10) Relative consistency and interpretations (03F25) Higher-type and set recursion theory (03D65)
Related Items (2)
This page was built for publication: Spector’s Proof of the Consistency of Analysis