The Structure of Models of Peano Arithmetic: 50 (Oxford Logic Guides)

Kossak, Roman

ISBN 10: 0198568274 / ISBN 13: 9780198568278

Published by OUP Oxford, 2006

About this Item

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. Series: Oxford Logic Guides. Num Pages: 328 pages, 2 b/w line drawings. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 166 x 242 x 25. Weight in Grams: 646. . 2006. Illustrated. hardcover. . . . . Books ship from the US and Ireland.

Seller Inventory # V9780198568278

Bibliographic Details

• Title: The Structure of Models of Peano Arithmetic: 50 (Oxford Logic Guides)
• Publisher: OUP Oxford
• Publication Date: 2006
• Language: English
• ISBN 10: 0198568274
• ISBN 13: 9780198568278
• Binding: Hardcover
• Condition: New

About this title

Synopsis

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.

About the Author

Roman Kossak is with the City University of New York. James Schmerl is with the University of Connecticut, Storrs.