1、General Information书名=1995.10 模型论导引作者=沈复兴著页数=288SS号=10832729出版日期=1995年10月第1版前言目录目 录 第一章命题逻辑模型论 1.1命题逻辑形式系统 1.2命题逻辑的模型 1.3命题逻辑的完全性 1.4命题逻辑模型论 第二章一阶逻辑 2.1一阶逻辑形式系统 2.2一阶逻辑形式推演 第三章一阶逻辑的模型 3.1一阶逻辑模型的定义 3.2模型的相互关系 3.3常见的语言和模型 第四章紧致性定理 4.1一阶逻辑的完全性 4.2紧致性定理 4.3 LST定理 第五章初等等价模型的代数特征 5.1部分同构 5.2 Fraiss定理 5.3
2、Ehrenfeucht博奕 第六章一阶逻辑的完全理论 6.1理论的完全性和范畴性 6.2模型完全理论 第七章模型的初等链 7.1初等链定理 7.2省略型定理 7.3内插定理 第八章超积模型 8.1超滤集 8.2超积模型 8.3超积的应用 第九章Lindenbaum代数 9.1格与布尔代数 9.2 Lindenbaum代数 第十章完全理论的可数模型 10.1可数原子模型 10.2可数地饱和模型 10.3可数地齐次模型 第十一章模型的自同构 11.1 Skolem函数和不可辨元 11.2模型的自同构 第十二章模型论力迫法 12.1有限力迫法 12.2有限力迫兼纳模型 12.3无限力迫法 第十三章？1逻辑模型论 13.1？1逻辑的完全性 13.2？1语言的可数片断 附录 部分专有名词的索引 附录 部分符号的索引
