Proof-theoretic reduction as a philosopher's tool

DOI10.1023/A:1005670319780zbMath0970.03005OpenAlexW1589780159MaRDI QIDQ1841003

Thomas Hofweber

Publication date: 15 October 2001

Published in: Erkenntnis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005670319780

zbMATH Keywords

arithmeticindispensability argumentsrelative consistencyfoundational reductionsproof-theoretic reductions

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Relative consistency and interpretations (03F25)

Related Items (1)

AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING

This page was built for publication: Proof-theoretic reduction as a philosopher's tool