The Structure of Models of Peano Arithmetic

Roman Kossak, James Schmerl - Collection Oxford Logic Guides

320 pages, parution le 17/07/2006

Ajouter à une liste

Indisponible

Résumé

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.

Sommaire

Basics
Extensions
Minimal and other types
Substructure lattices
How to control types
Generics and forcing
Cuts
Automorphisms of recursively saturated models
Automorphism groups of recursively saturated models
Omega 1-like models
Order types
Twenty questions

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Oxford University Press
Auteur(s)	Roman Kossak, James Schmerl
Collection	Oxford Logic Guides
Parution	17/07/2006
Nb. de pages	320
Format	16 x 24
Couverture	Relié
Poids	604g
Intérieur	Noir et Blanc
EAN13	9780198568278
ISBN13	978-0-19-856827-8