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