The Structure of Models of Peano Arithmetic

Roman Kossak, James Schmerl (Autoren)

Buch | Hardcover

328 Seiten

2006
Oxford University Press (Verlag)
978-0-19-856827-8 (ISBN)

Artikel merken

Aimed at graduate students, research logicians and mathematicians, this much-awaited text covers over 40 years of work on relative classification theory for nonstandard models of arithmetic. The book covers basic isomorphism invariants: families of type realized in a model, lattices of elementary substructures and automorphism groups.

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.

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

Erscheint lt. Verlag	29.6.2006
Reihe/Serie	Oxford Logic Guides ; 50
Zusatzinfo	2 b/w line drawings
Verlagsort	Oxford
Sprache	englisch
Maße	164 x 240 mm
Gewicht	623 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-19-856827-4 / 0198568274
ISBN-13	978-0-19-856827-8 / 9780198568278
Zustand	Neuware