Articoli correlati a The Structure of Models of Peano Arithmetic: 50

The Structure of Models of Peano Arithmetic: 50 - Rilegato

Libro 8 di 11: Oxford Logic Guides

Kossak, Roman; Schmerl, James

 
9780198568278: The Structure of Models of Peano Arithmetic: 50
Rilegato
ISBN 10: 0198568274 ISBN 13: 9780198568278
Casa editrice: OUP Oxford, 2006

Sinossi

Aimed at graduate students and research logicians and mathematicians, this much-awaited text 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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

  • Preface
  • 1: Basics
  • 2: Extensions
  • 3: Minimal and other types
  • 4: Substructure lattices
  • 5: How to control types
  • 6: Generics and forcing
  • 7: Cuts
  • 8: Automorphisms of recursively saturated models
  • 9: Automorphism groups of recursively saturated models
  • 10: Omega 1-like models
  • 11: Order types
  • 12: Twenty questions
  • References
  • Index

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
OUP Oxford
Data di pubblicazione
2006
Lingua
Inglese
ISBN 10 
0198568274
ISBN 13 
9780198568278
Rilegatura
Copertina rigida
Numero di pagine
328
Contatto del produttore
Messaggerie Libri
ufficio.anagrafiche@meli.it

Via Verdi, 8.
Assago Milano
20090
Italia