
编辑推荐
《模型论基础(典藏版)》由科学出版社出版。
目录
第一章形式语言及其模型
第二章紧致性定理与LST定理
第三章初等子模型与模型完全理论
第四章超积基本定理
第五章模型论力迫法
第六章省略型定理
第七章初等链的一些应用
第八章内插定理
第九章可数语言中的完全理论
第十章w—范畴的可数完全理论
第十一章Skolem函数与不可辨元
第十二章饱和模型
第十三章Keisler—Shelah同构定理
附录Ⅰ一些判定问题
附录Ⅱ模型论应用举例(1)—非标准分析简介
附录Ⅲ模型论应用举例(2)—CD代数的零点定理
参考文献
文摘
版权页:
插图:
《模型论基础(典藏版)》由科学出版社出版。
目录
第一章形式语言及其模型
第二章紧致性定理与LST定理
第三章初等子模型与模型完全理论
第四章超积基本定理
第五章模型论力迫法
第六章省略型定理
第七章初等链的一些应用
第八章内插定理
第九章可数语言中的完全理论
第十章w—范畴的可数完全理论
第十一章Skolem函数与不可辨元
第十二章饱和模型
第十三章Keisler—Shelah同构定理
附录Ⅰ一些判定问题
附录Ⅱ模型论应用举例(1)—非标准分析简介
附录Ⅲ模型论应用举例(2)—CD代数的零点定理
参考文献
文摘
版权页:
插图:
ISBN | 9787030059956 |
---|---|
出版社 | 科学出版社 |
作者 | 王世强 |
尺寸 | 5 |