作者：王世强
页数：256
出版社：科学出版社
出版日期：1987
ISBN：9787030059956
电子书格式：pdf/epub/txt
内容简介
王世强著的《模型论基础(典藏版)》介绍模型论的基础知识。主要内容有：紧致性定理，省略型定理，内插定理，完全理论与模型完全理论，初等链，超积，模型论力迫法，饱和模型等。并附有模型论方法对经典数学应用的一些例于。 本书可供大学数学专业高年级学生及研究生、数学教师及数学工作者阅读。也可供其他专业有关数理逻辑及理论计算机科学方面的师生及科学工作者参考。
目录
第一章 形式语言及其模型第二章 紧致性定理与LST定理第三章 初等子模型与模型完全理论第四章 超积基本定理第五章 模型论力迫法第六章 省略型定理第七章 初等链的一些应用第八章 内插定理第九章 可数语言中的完全理论第十章 w-范畴的可数完全理论第十一章 Skolem函数与不可辨元第十二章 饱和模型第十三章 Keisler-Shelah同构定理附录I 一些判定问题附录II 模型论应用举例(1)——非标准分析简介附录III 模型论应用举例(2)——CD代数的零点定理参考文献
