Description

January 10th 2010 | ebook | PDF, EPUB, FB2, DjVu, AUDIO, mp3, RTF | 311 pages | ISBN: 9781281160294 | 10.76 Mb

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,MoreAimed 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.

Related Archive Books

Related Books

- Sapos
- 27.07.2015Above the Noise (In Too Deep, #3)
- 02.09.2011The Childrens Books of Mary (Belson) Elliott
- 06.06.2014Hywel Ab Owain Gwynedd
- 14.12.2012Network Security Essentials Applications and Standards
- 04.06.2011Purple Hearts
- 01.01.2012Chess, Step
- 21.11.2012Breaking Up With Misery
- 09.11.2013Vegetarian Grub on a Grant
- 19.12.2011ProjectThink

Comments