Angus Macintyre (Queen Mary, University of London)
|
| Since 1930 (when Herbrand and Skolem were working both on logic and number theory) there has been a lot of activity on models of arithmetic, complexity of definitions of arithmetic notions, and the strength of various axiom systems for arithmetic. I will survey the achievements, challenges and failures of this activity. |