Hilbert's program relativized; Proof-theoretical and foundational reductions

DOI10.2307/2274509zbMath0656.03002OpenAlexW4242304899MaRDI QIDQ3803081

Solomon Feferman

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

zbMATH Keywords

Hilbert's Programextensions of primitive recursive arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Proof theory and constructive mathematics (03Fxx)

Related Items

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