Does reductive proof theory have a viable rationale?
From MaRDI portal
Publication:1841001
DOI10.1023/A:1005622403850zbMath0971.03058MaRDI QIDQ1841001
Publication date: 23 October 2001
Published in: Erkenntnis (Search for Journal in Brave)
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