模型论基础：现代数学基础丛书

图书标准信息

• 作者 王世强
• 出版社 科学出版社
• 出版时间 1987-08
• 版次 1
• ISBN 9787030059956
• 定价 32.00元
• 装帧 平装
• 开本 其他
• 纸张 胶版纸
• 页数 241页
• 字数 202千字

【内容简介】

本书介绍模型论的基础知识。主要内容有：紧致性定理，省略型定理，内播定理，完全理论与模型完全理论，初等键，越积，模型论力迫法，他和模型等．并附有模型论方法对经典数学应用的一些例子。

  本书可供大学数学专业高年级学生及研究生、数学教师及数学工作者阅读．也可供其他专业有关数理逻辑及理论计算机科学方面的师生及科学工作者参考。

【目录】

第一章 形式语言及其模型

第二章 紧致性定理与LST定理

第三章 初等子醛民模型完全理论

第四章 超积基本定理

第五章 模型论力迫法

第六章 省略型定理

第七章 初等链的一些应用

第八章 内插定理

第九章 可数语言中的完全理论

第十章 ω-范畴的可数完全理论

第十一章 Skolem函数与不可辨元

第十二章 饱和模型

第十三章 Keisler-Shelah同构定理

附录Ⅰ 一些判定问题

附录Ⅱ 模型论应用举例（1）——非标准分析简介

附录Ⅲ 模型论应用举例（2）——CD代数的零点定理

参考文献