file.pdf (1.52 MB)
Download file

Number Theory and Elementary Arithmetic

Download (1.52 MB)
journal contribution
posted on 19.06.2002, 00:00 by Jeremy Avigad
Elementary arithmetic (also known as "elementary function arithmetic") is a fragment of first-order arithmetic so weak that it cannot prove the totality of an iterated exponential function. Surprisingly, however, the theory turns out to be remarkably robust. I will discuss formal results that show that many theorems of number theory and combinatorics are derivable in elementary arithmetic, and try to place these results in a broader philosophical context.

History

Publisher Statement

All Rights Reserved

Date

19/06/2002

Usage metrics

Categories

Keywords

Exports