A Course in Model Theory.. An Introduction to Contemporary Mathematical Logic

Par : Bruno Poizat

Formats :

  • Réservation en ligne avec paiement en magasin :
    • Indisponible pour réserver et payer en magasin
  • Nombre de pages443
  • PrésentationRelié
  • Poids0.81 kg
  • Dimensions16,0 cm × 24,0 cm × 2,8 cm
  • ISBN0-387-98655-3
  • EAN9780387986555
  • Date de parution11/07/2000
  • CollectionUniversitext
  • ÉditeurSpringer

Résumé

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.
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.
Image Placeholder
Bruno Poizat
59,70 €