Hilbert's program relativized; Proof-theoretical and foundational reductions
From MaRDI portal
Publication:3803081
DOI10.2307/2274509zbMath0656.03002OpenAlexW4242304899MaRDI QIDQ3803081
Publication date: 1988
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274509
First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Proof theory and constructive mathematics (03Fxx)
Related Items (28)
Hilbert's Programs: 1917–1922 ⋮ Ordered Groups: A Case Study in Reverse Mathematics ⋮ A system of complete and consistent truth ⋮ Reflecting on incompleteness ⋮ Totality in applicative theories ⋮ Understanding uniformity in Feferman's explicit mathematics ⋮ Truth, reflection and hierarchies ⋮ Hilbert's program and the omega-rule ⋮ Systems of explicit mathematics with non-constructive \(\mu\)-operator. II ⋮ The meaning of pure mathematics ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ IN MEMORIAM: SOLOMON FEFERMAN (1928–2016) ⋮ CLASSICAL DETERMINATE TRUTH I ⋮ Polynomial time operations in explicit mathematics ⋮ On Relating Theories: Proof-Theoretical Reduction ⋮ The ignorance of Bourbaki ⋮ Subsystems of true arithmetic and hierarchies of functions ⋮ Theories and ordinals in proof theory ⋮ On uniform weak König's lemma ⋮ The metamathematics of ergodic theory ⋮ Predicativity and Feferman ⋮ Feferman’s Skepticism About Set Theory ⋮ We shall know: Hilbert's apology ⋮ Systems of explicit mathematics with non-constructive \(\mu\)-operator and join ⋮ Systems of explicit mathematics with non-constructive \(\mu\)-operator. I ⋮ Universes over Frege structures ⋮ The constructive Hilbert program and the limits of Martin-Löf type theory ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
This page was built for publication: Hilbert's program relativized; Proof-theoretical and foundational reductions
