模型论基础/现代数学基础丛书23

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

第一章 形式语言及其模型
第二章 紧致性定理与LST定理
第三章 初等子醛民模型完全理论
第四章 超积基本定理
第五章 模型论力迫法
第六章 省略型定理
第七章 初等链的一些应用
第八章 内插定理
第九章 可数语言中的完全理论
第十章 ω-范畴的可数完全理论
第十一章 Skolem函数与不可辨元
第十二章 饱和模型
第十三章 Keisler-Shelah同构定理
附录Ⅰ 一些判定问题
附录Ⅱ 模型论应用举例（1）——非标准分析简介
附录Ⅲ 模型论应用举例（2）——CD代数的零点定理
参考文献

模型论是数理逻辑的一个分支，是研究形式语言及其解释(模型)之间的关系的理论．它是一个年轻的分支，近年来发展较快，并开始在一些经典数学学科中得到独特的应用． 早在本世纪二十年代，Th．Skolem等人在数理逻辑研究中就已得到模型论性质的重要结果．但作为较系统的理论，模型论的奠基人应推A.Tarski．后来，A．Robinson也对模型论作过很多贡献．在这方面贡献较多的数学家，主要还有R．Vaught，A．H．MaJIbLIeB,C．C．Chang，H．J．Keisler，M．Morley，S．Shelah，A．Macintyre等人． 一个形式语言 的解释 称为此语言的一个模型(或称结构)． 是一个具有若干运算、关系及特指元素的非空集合，也称为泛代数．..