• 正版现货新书 初等模型论 9787309140194 姚宁远
  • 正版现货新书 初等模型论 9787309140194 姚宁远
21年品牌 40万+商家 超1.5亿件商品

正版现货新书 初等模型论 9787309140194 姚宁远

全新正版现货,以书名为准,放心购买,购书咨询18931383650朱老师

25.13 7.0折 36 全新

库存32件

北京丰台
认证卖家担保交易快速发货售后保障

作者姚宁远

出版社复旦大学出版社

ISBN9787309140194

出版时间2018-11

装帧平装

开本16开

定价36元

货号1201963430

上书时间2024-10-12

黎明书店

十五年老店
已实名 已认证 进店 收藏店铺

   商品详情   

品相描述:全新
商品描述
目录
章基本概念.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定理等内容。

   相关推荐   

—  没有更多了  —

以下为对购买帮助不大的评价

此功能需要访问孔网APP才能使用
暂时不用
打开孔网APP