The Structure of Models of Peano Arithmetic
Roman Kossak, Jim Schmerl
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.
카테고리:
년:
2006
출판사:
Oxford University Press, USA
언어:
english
페이지:
326
ISBN 10:
1435619226
ISBN 13:
9781435619227
시리즈:
Oxford Logic Guides
파일:
PDF, 1.94 MB
IPFS:
,
english, 2006