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, 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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!