Number theory and elementary arithmetic†

DOI10.1093/philmat/11.3.257zbMath1050.03005OpenAlexW2166845461WikidataQ56619760 ScholiaQ56619760MaRDI QIDQ4467928

Jeremy Avigad

Publication date: 10 June 2004

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/07033a30185835a1d1589acd9e31e83844952d6e

zbMATH Keywords

proof theoryelementary arithmeticnumber theoryfinitary methods

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35)

Related Items

Proof Theory in Philosophy of Mathematics, What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory, SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT, Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics, TWO ARGUMENTS AGAINST THE GENERIC MULTIVERSE, More infinity for a better finitism, Reliability of mathematical inference, A new psychologism in logic? Reflections from the point of view of belief revision, Carroll's infinite regress and the act of diagramming, The metamathematics of ergodic theory