Number theory and elementary arithmetic†

DOI10.1093/PHILMAT/11.3.257MaRDI QIDQ4467928zbMATH OpenOpenAlexWikidataFDO

Authors 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 theorynumber theoryelementary arithmeticfinitary methods

Mathematics Subject Classification ID

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

Recommendations

• What does it take to prove Fermat's last theorem? Grothendieck and the logic of number theory
• The prime number theorem is PRA-provable
• Fragments of arithmetic
• The consistency of arithmetic
• The \(\omega\)-consistency of elementary analysis

Cited in

(10)

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

This page was built for publication: Number theory and elementary arithmetic†

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4467928)