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. The book covers basic isomorphism invariants: families of types realized in a model, lattices of elementary substructures and automorphism groups.
Read More
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. The book covers basic isomorphism invariants: families of types realized in a model, lattices of elementary substructures and automorphism groups.
Read Less