TY - BOOK ID - 17127829 TI - Model Theory : An Introduction PY - 2002 VL - 217 SN - 0387987606 9780387987606 9786610010615 1280010614 0387227342 PB - New York, NY : Springer New York : Imprint: Springer, DB - UniCat KW - Model theory KW - Mathematics KW - Logic, symbolic and mathematical KW - Model theory. KW - Algebra KW - Mathematical logic KW - 510.67 KW - Theory of models KW - Mathematics. KW - Mathematical logic. KW - Mathematical Logic and Foundations. KW - Logic, Symbolic and mathematical KW - Logic, Symbolic and mathematical. KW - Algebra of logic KW - Logic, Universal KW - Symbolic and mathematical logic KW - Symbolic logic KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism UR - https://www.unicat.be/uniCat?func=search&query=sysid:17127829 AB - This book is a modern introduction to model theory which 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. David Marker is Professor of Mathematics at the University of Illinois at Chicago. His main area of research involves mathematical logic and model theory, and their applications to algebra and geometry. This book was developed from a series of lectures given by the author at the Mathematical Sciences Research Institute in 1998. ER -