Models of Peano Arithmetic |
|
Author:
| Kaye, Richard |
Series title: | Oxford Logic Guides |
ISBN: | 978-0-19-853213-2 |
Publication Date: | Jan 1991 |
Publisher: | Oxford University Press
|
Book Format: | Hardback |
List Price: | AUD $294.50AUD $377.00 |
Book Description:
|
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.
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.