初等模型论
正版新书 新华官方库房直发 可开电子发票
￥ 25.56 7.1折 ￥ 36 全新
库存35件
作者姚宁远
出版社复旦大学出版社
ISBN9787309140194
出版时间2018-11
版次1
装帧平装
开本16开
纸张胶版纸
页数238页
字数215千字
定价36元
货号SC:9787309140194
上书时间2024-12-03
商品详情
- 品相描述：全新
- 全新正版 提供发票
- 商品描述
-
内容简介:
本书从一阶逻辑的语法和语义开始， 介绍了紧致性定理、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
……
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价