Does reductive proof theory have a viable rationale?

DOI10.1023/A:1005622403850zbMath0971.03058MaRDI QIDQ1841001

Solomon Feferman

Publication date: 23 October 2001

Published in: Erkenntnis (Search for Journal in Brave)

zbMATH Keywords

reductionordinal analysisrelative consistencyrelative interpretation

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Proof theory in general (including proof-theoretic semantics) (03F03) Relative consistency and interpretations (03F25)

Related Items

Proof Theory in Philosophy of Mathematics, Relative Truth Definability of Axiomatic Truth Theories, Forcing for hat inductive definitions in arithmetic, The consistency of arithmetic, About Truth and Types, On Relating Theories: Proof-Theoretical Reduction, Prawitz, Proofs, and Meaning, Feferman on Set Theory: Infinity up on Trial, Feferman’s Skepticism About Set Theory, Universes over Frege structures