[FOM] nonstandard arithmetic

[Thomas Forster]

I've just been having a conversation with a mathematician (non-logician) 
over tea.  He said he's been reading Kaye's book on Models of Arithmetic,
and Wilfrid H's book on model theory, and reports that they hold out the 
tantalising hope that there are cute proofs of standard facts in 
arithmetic that use nonstandard models, and he prompted me for some 
examples.  Can anyone supply me with some..?   I don't weant to miss this
opportunity to make some propaganda!

       tf



  URL: www.dpmms.cam.ac.uk/~tf  tel: 01223-337981 and 020-7882-3659