Model Theory
Subtitle: An Introduction
Publisher: Springer
Published: August 21, 2002
Language: eng
Number of pages: 360
ISBN-13: 9780387987606
First sentence: In mathematical logic, we use first-order languages to describe mathematical structures.
Description: "This book is a modern introduction to model theory that stresses applications to algebra throughout the text. The first half of the book includes classical material on model construction techniques, type spaces, prime models, saturated models, countable models, and indiscernibles and their applications. The author also includes an introduction to stability theory beginning with Morley's Categoricity Theorem and concentrating on omega-stable theories.

One significant aspect of this text is the inclusion of chapters on important topics not covered in other introductory texts, such as omega-stable groups and the geometry of strongly minimal sets. The author then goes on to illustrate how these ingredients are used in Hrushovski's applications to diophantine geometry."--BOOK JACKET.