I believe that FOM subscribers will be interested in the following recent article: Jeremy Avigood, "Number Theory and Elementary Arithmetic" Philosophia Mathematica, vol. 11(#3), pp.257-284.