Recomienda este artículo a tus amigos:
Models of Peano Arithmetic - Oxford Logic Guides Kaye, Richard (Junior Research Fellow, Junior Research Fellow, Jesus College, Oxford)
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 31 de enero de 1991 |
| ISBN13 | 9780198532132 |
| Editores | Oxford University Press |
| Páginas | 302 |
| Dimensiones | 163 × 239 × 22 mm · 622 g |
| Lengua | Inglés |