初等模型论（逻辑与形而上学教科书系列）

图书标准信息

• 作者 姚宁远
• 出版社 复旦大学出版社
• 出版时间 2018-11
• 版次 1
• ISBN 9787309140194
• 定价 36.00元
• 装帧 其他
• 开本 16开
• 纸张 胶版纸
• 页数 238页
• 字数 215千字

【内容简介】

本书从一阶逻辑的语法和语义开始， 介绍了紧致性定理、Lwenheim–Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。

【目录】

:
第1章基本概念.1
1.1一阶逻辑的结构.1
1.2一阶公式和语义.7
1.3理论与模型.18
1.4初等子结构.21
第2章紧致性定理.31
2.1Henkin构造法.31
2.2超积.40
2.3超积的应用.46
2.4型的空间.48
2.5Lowenheim-Skolem定理.53
第3章紧致性定理的应用.59
3.1代数闭域.60
3.2无穷小量.69
3.3无穷图的四色定理.72
3.4Ramsey定理与不可辨元序列.74
第4章饱和性与齐次性.81
……