ENGLISH

The Structure of Models of Peano Arithmetic

By Roman Kossak , Jim Schmerl

Book information

Publisher
Oxford University Press, USA
Year
2006
ISBN
0198568274, 9781435619227, 9780198568278
Language
english
Format
PDF
Filesize
2 MB (2029996 bytes)
Series
Oxford Logic Guides
Pages
326\326
Topic
Mathematics Logic
Library
mexmat
Orientation
yes
Scanned
no
Time added
2009-07-20 03:45:11

Description

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.

Similar books