本书从一阶逻辑的语法和语义开始，介绍了紧致性定理、Lowenheim-Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、0mega-稳定理论、不可区分序列以及Morlev定理等内容。
本书面向数学系和哲学系的本科生和研究生。相对于其他的模型论教材，本书包含大量的数学实例，使得具有数学背景的学生更易于理解原理背后的动机。
本书适合作为模型论入门教程，读者需要对形式逻辑有一定的了解。本丛书的《数理逻辑：证明及其限度》的前六章可以作为本书的预备知识。
书中所含习题能使读者通过练习得到必要的训练，并自我检验对有关内容的理解。

姚宁远 2015年获得中山大学博士学位，并于同年进入复旦大学哲学学院担任讲师，2017年在法国高等科学研究所做博士后研究。主要研究领域是模型论及其应用。现已发表SCl论文6篇，CSSCI论文1篇。获得国家自科青年基金、上海浦江计划基金以及上海晨光计划基金的资助。

第1章 基本概念
1.1 一阶逻辑的结构
1.2 一阶公式和语义
1.3 理论与模型
1.4 初等子结构
第2章 紧致性定理
2.1 Henkin构造法
2.2 超积
2.3 超积的应用
2.4 型的空间
2.5 Lowenheim-Skolem定理
第3章 紧致性定理的应用
3.1 代数闭域
3.2 无穷小量
3.3 无穷图的四色定理
3.4 Ramsey定理与不可辨元序列
第4章 饱和性与齐次性
4.1 ω-饱和性与ω-齐次性
4.2 k-饱和性与K-齐次性
第5章 可数模型
5.1 省略型定理
5.2 素模型
5.3 ω-范畴
第6章 量词消去
6.1 无量词型
6.2 量词消去
6.3 模型完全
第7章 量词消去的应用
7.1 代数闭域的量词消去
7.2 实闭域的量词消去
7.3 Presburger算术的量词消去
7.4 向量空间和无挠可除阿贝尔群
第8章 ω-稳定理论
8.1 ω-稳定性
8.2 Morley秩
8.3 强极小理论的范畴性
8.4 不可数范畴与Morley定理
8.5 Morley定理的证明
第9章 稳定理论
9.1 稳定理论与可定义型
9.2 可分割性
9.3 ω-稳定理论中的分叉
参考文献
索引