Structure of models of peano arithmetic, the
Auteur :
Kossak, Roman / Schmerl, James
Éditeur :
Oxford University Press
ISBN :
9780198568278
Date de publication :
29 juin 2006
Dimensions :
24,0 x 16,4 x 2,2 cm
Poids :
623 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Aimed at graduate students, research logicians and mathematicians, this much-awaited text covers over 40 years of work on relative classification theory for nonstandard models of arithmetic. The book covers basic isomorphism invariants: families of type realized in a model, lattices of elementary substructures and automorphism groups.