模型论基础PDF电子书下载

第一章 形式语言及其模型 1

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

第三章 初等子模型与模型完全理论 21

第四章 超积基本定理 37

第五章 模型论力迫法 50

第六章 省略型定理 61

第七章 初等链的一些应用 72

第八章 内插定理 87

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

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

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

第十二章 饱和模型 145

第十三章 Keisler-Shelah同构定理 155

附录Ⅰ 一些判定问题 173

附录Ⅱ 模型论应用举例(1)——非标准分析简介 218

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

参考文献 240