The Structure of Models of Peano Arithmetic
Roman Kossak, James Schmerl - Collection Oxford Logic Guides
Résumé
Aimed at research logicians and mathematicians, this much-awaited monograph covers over forty years of work on relative classification theory for non-standard models of arithmetic. With graded exercises at the end of each chapter, the book covers basic isomorphism invariants: families of types realized in a model, lattices of elementary substructures and automorphism groups. Many results involve applications of the powerful technique of minimal types due to Haim Gaifman, and some of the results are classical but have never been published in a book form before.
Sommaire
- Basics
- Extensions
- Minimal and other types
- Substructure lattices
- How to control types
- Generics and forcing
- Cuts
- Automorphisms of recursively saturated models
- Automorphism groups of recursively saturated models
- Omega 1-like models
- Order types
- Twenty questions
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Oxford University Press |
| Auteur(s) | Roman Kossak, James Schmerl |
| Collection | Oxford Logic Guides |
| Parution | 17/07/2006 |
| Nb. de pages | 320 |
| Format | 16 x 24 |
| Couverture | Relié |
| Poids | 604g |
| Intérieur | Noir et Blanc |
| EAN13 | 9780198568278 |
| ISBN13 | 978-0-19-856827-8 |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
