Spector’s Proof of the Consistency of Analysis

DOI10.1007/978-3-319-10103-3_11zbMath1378.03045OpenAlexW2345339032MaRDI QIDQ5361252

Fernando Ferreira

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

zbMATH Keywords

consistency proofsconsistency of analysis

Mathematics Subject Classification ID

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)

A note on equality in finite‐type arithmetic ⋮ The abstract type of the real numbers

This page was built for publication: Spector’s Proof of the Consistency of Analysis