初等模型论

全新正版极速发货

19.97 5.5折 36 全新

库存17件

广东广州

认证卖家担保交易快速发货售后保障

作者姚宁远

出版社复旦大学出版社

ISBN9787309140194

出版时间2018-11

装帧平装

开本16开

定价36元

货号1201963430

上书时间2024-09-04

已实名已认证进店收藏店铺

商品描述: 目录
章基本概念.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
……

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

— 没有更多了 —