The Structure of Models of Peano Arithmetic

TRAMA

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.

NOTE EDITORE

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.

SOMMARIO

1 - Basics2 - Extensions3 - Minimal and other types4 - Substructure lattices5 - How to control types6 - Generics and forcing7 - Cuts8 - Automorphisms of recursively saturated models9 - Automorphism groups of recursively saturated models10 - Omega 1-like models11 - Order types12 - Twenty questions

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9780198568278
• Collana: Oxford Logic Guides
• Dimensioni: 240 x 22.0 x 164 mm Ø 623 gr
• Formato: Copertina rigida
• Illustration Notes: 2 b/w line drawings
• Pagine Arabe: 328