This book, translated from the French, is an introduction to first-order model theory. The first six chapters are very basic: starting from scratch, they... > Lire la suite
Plus d'un million de livres disponibles
Retrait gratuit en magasin
Livraison à domicile sous 24h/48h* * si livre disponible en stock, livraison payante
96,29 €
Expédié sous 6 à 12 jours
ou
À retirer gratuitement en magasin U entre le 9 mai et le 15 mai
This book, translated from the French, is an introduction to first-order model theory. The first six chapters are very basic: starting from scratch, they quickly reach the essential, namely, the back-and-forth method and compactness, which are illustrated with examples taken from algebra. The next chapter introduces logic via the study of the models of arithmetic, and the following chapter is a combinatorial toolbox preparing for the chapters on saturated and prime models. The last ten chapters form a rather complete, but nevertheless accessible, exposition of stability theory, which is the core of the subject.