Tell your friends about this item:
Models of Peano Arithmetic - Oxford Logic Guides Kaye, Richard (Junior Research Fellow, Junior Research Fellow, Jesus College, Oxford)
Price
Íkr 34,289
excl. VAT
Ordered from remote warehouse
Expected delivery Nov 11 - 19
Christmas presents can be returned until 31 January
Get notified about new Kaye, Richard (Junior Research Fellow, Junior Research Fellow, Jesus College, Oxford) releases
Add to your iMusic wish list
Models of Peano Arithmetic - Oxford Logic Guides
Kaye, Richard (Junior Research Fellow, Junior Research Fellow, Jesus College, Oxford)
An introduction to the developments of nonstandard models. Beginning with Godel's incompleteness theorem, it covers the prime models, cofinal extensions, and extensions, Gaifman's construction of a definable type, Tennenbaum's theorem and Friedman's theorem on indicators, ending with a chapter on recursive saturation and resplendency.
302 pages, line illustrations
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | January 31, 1991 |
| ISBN13 | 9780198532132 |
| Publishers | Oxford University Press |
| Pages | 302 |
| Dimensions | 163 × 239 × 22 mm · 606 g |
| Language | English |