初等模型论
新华书店全新正版，极速发货，假一罚十，可开电子发票，请放心购买。
￥ 19.87 5.5折 ￥ 36 全新
库存35件
天津西青
认证卖家担保交易快速发货售后保障
作者姚宁远
出版社复旦大学出版社
ISBN9787309140194
出版时间2018-11
装帧平装
开本16开
定价36元
货号1201963430
上书时间2024-10-12
- 在售商品 暂无
- 平均发货时间 16小时
- 好评率 暂无
商品详情
- 品相描述：全新
- 商品描述
-
目录
章基本概念.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定理等内容。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价