Timeline for Reference Request: Non-Standard Models of PA
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 11, 2012 at 1:43 | comment | added | Everett Piper | Hi, this response may be a bit late, but I've found Andrey Bovykin's expository papers and his online video lectures very useful in getting a down-to-Earth understanding of non-standard models. He doesn't specifically talk about Tennanbaum's theorem to my recollection, but I've found him very understandable and intuitive. | |
| Mar 3, 2012 at 0:59 | comment | added | Joel David Hamkins | Regarding the nonexistence of computable nonstandard models, see mathoverflow.net/questions/12426/…. Essentially the same argument as for ZFC works for PA. Tennenbaum's theorem is stronger than that, asserting that neither $+$ nor $\codt$ separately is computable. | |
| Mar 2, 2012 at 23:02 | answer | added | Benedict Eastaugh | timeline score: 2 | |
| Mar 2, 2012 at 22:48 | answer | added | Timothy Chow | timeline score: 1 | |
| Mar 2, 2012 at 21:50 | vote | accept | Samuel Reid | ||
| Mar 2, 2012 at 13:04 | answer | added | Ed Dean | timeline score: 4 | |
| Mar 2, 2012 at 6:41 | comment | added | Samuel Reid | @EdDean: It seems that it is not accessible to purchase as it is not available on amazon or apparently anywhere else on the internet... That book is exactly what I am looking for though, care to make your suggestion an answer so I can accept it? | |
| Mar 2, 2012 at 1:36 | answer | added | Steven Landsburg | timeline score: 2 | |
| Mar 2, 2012 at 0:41 | comment | added | Ed Dean | Richard Kaye's book Models of Peano Arithmetic is good and accessible. | |
| Mar 2, 2012 at 0:32 | history | asked | Samuel Reid | CC BY-SA 3.0 |