Reference Request: Non-Standard Models of PA - MathOverflow

Reference Request: Non-Standard Models of PA

2012-03-02T00:32:10Z

I am attempting to write an expository paper on non-standard models of PA that is accesible to students taking an introductory graduate course in mathematical logic (covering Godel's incompleteness theorems, the diagonalization lemma, models, etc.). In this paper I want to give an explanation of some results such as Tennanbaum's Theorem (there does not exist a countable recursive model of PA that is not isomorphic to the standard model). By, "give an explanation of", I mean to actually work through an explanation of the proof, some of the techniques involved, and the general overlap between techniques used in the proofs of Tennanbaum's theorem, some theorems proven by Rosser on extensions of PA, Robinson's overspill lemma, etc. (Note: I want to avoid digressing into an explanation of forcing if possible).

My question is, what books or online resources do you know of that would be useful for me? That is, do you happen to know of surveys of these topics that are around on arXiv or JSTOR? I have been digging through the mathematical logic section of arXiv for papers and I found a few that are useful, but I thought that some mathematicians/logicians on MO might know of some papers that give a just survey of the introductory results regarding non-standard models of PA.

Thank you!

Answer by Steven Landsburg for Reference Request: Non-Standard Models of PA

2012-03-02T01:36:28Z

I've found Kaye's web pages here pretty enlightening.

Answer by Ed Dean for Reference Request: Non-Standard Models of PA

2012-03-02T13:04:46Z

Richard Kaye's book Models of Peano Arithmetic is good and accessible. And I know that what Frank said in his comment, about its availability as a pdf online, is indeed true; though like Frank, I shan't give a link here.

Answer by Timothy Chow for Reference Request: Non-Standard Models of PA

2012-03-02T22:48:43Z

Boolos and Jeffrey's book Computability and Logic has a nice account of Tennenbaum's theorem, at least in the third edition.

Answer by Benedict Eastaugh for Reference Request: Non-Standard Models of PA

2012-03-02T23:02:52Z

Peter Smith has a pretty good handout on Tennenbaum's theorem that I found useful when learning that material. As others have mentioned, Richard Kaye's Models of Peano Arithmetic is the go-to reference work here. Kossak and Schmerl's The Structure of Models of Peano Arithmetic gives the state of the art, but you probably won't need this one.