Author

Contributions

  • M. Klein (Translator) - Contributor

Publication

2000-05-25 - Springer

Language

English

Word Count

110,750 words, Guess

Page Count

443 pages

Identifiers

and 5 more
  • LibraryThing75766
  • Library of Congress Control Number99053572
  • OCLC Control Number42772184
  • Better World Books9780387986555
  • Open LibraryOL7449748M

Classifications

  • LCCQA9.7 .P65 2000
  • LCCQA8.9-10.3

Description

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 is a combinatorial tool-box 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.

Description

"This book 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 is a combinatorial tool-box 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."--Back of book.

Subjects

Other Editions

  • A Course in Model Theory: An Introduction to Contemporary Mathematical Logic (Universitext)Springer2000-05-25

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!