The Structure of Models of Peano Arithmetic (Oxford Logic Guides) 1st Edition by Roman Kossak (PDF)

2

 

Ebook Info

  • Published: 2006
  • Number of pages: 328 pages
  • Format: PDF
  • File Size: 1.94 MB
  • Authors: Roman Kossak

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.

User’s Reviews

Editorial Reviews: Review “Taking everything into account, this book is a skillfully written research monograph dedicated to results concerning models of Peano arthmetic, especially ones obtains in the last twenty years or so, and can be recommended without hesitation to anyone wishing to acquire a sound knowledge of the subject.”–athematical Reviews About the Author Roman Kossak is with the City University of New York. James Schmerl is with the University of Connecticut, Storrs.

Keywords

Free Download The Structure of Models of Peano Arithmetic (Oxford Logic Guides) 1st Edition in PDF format
The Structure of Models of Peano Arithmetic (Oxford Logic Guides) 1st Edition PDF Free Download
Download The Structure of Models of Peano Arithmetic (Oxford Logic Guides) 1st Edition 2006 PDF Free
The Structure of Models of Peano Arithmetic (Oxford Logic Guides) 1st Edition 2006 PDF Free Download
Download The Structure of Models of Peano Arithmetic (Oxford Logic Guides) 1st Edition PDF
Free Download Ebook The Structure of Models of Peano Arithmetic (Oxford Logic Guides) 1st Edition

Previous articleModels and Games by Jouko Väänänen (PDF)
Next articleLogic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics (Ontos Mathematical Logic Book 5) by Åsa Hirvonen (PDF)