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.

本书从一阶逻辑的语法和语义开始， 介绍了紧致性定理、Lwenheim–Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。

本书是作者在新加坡国立大学、北京大学和中国科学院大学为本科高年级学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究院为研究生开设的专业课程所写讲义基础上整理出来的结果。本书主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成，其中包括完备性、紧致性、同质缩小、型省略等基本定理；有关数的经典理论的完全性和可定义性分析；哥德尔不完全性定理、丘奇不可判定性定理、塔尔斯基自然数标准模型真相不可定义性定理以及巴黎-哈灵顿不完全性定理。

《模型论基础》介绍模型论的基础知识。主要内容有：紧致性定理，省略型定理，内播定理，完全理论与模型完全理论，初等键，越积，模型论力迫法，他和模型等。并附有模型论方法对经典数学应用的一些例子。《模型论基础》可供大学数学专业高年级学生及研究生、数学教师及数学工作者阅读。也可供其他专业有关数理逻辑及理论计算机科学方面的师生及科学工作者参考。

This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Besides standard results such as the compactness and omitting types theorems, it also describes various links with algebra, including the Skolem-Tarski method of quantifier elimination, model completeness, automorphism groups and omega-categoricity, ultraproducts, O-minimality and structures of finite Morley rank. The material on back-and-forth equivalences, interpretations and zero-one laws can serve as an introduction to applications of model theory in computer science. Each chapter finishes with a brief commentary on the literature and suggestions for further reading.