您好,欢迎来到聚文网。 登录 免费注册
初等模型论

初等模型论

  • 字数: 215000
  • 装帧: 平装
  • 出版社: 复旦大学出版社
  • 作者: 姚宁远
  • 出版日期: 2018-11-01
  • 商品条码: 9787309140194
  • 版次: 1
  • 开本: 16开
  • 页数: 238
  • 出版年份: 2018
定价:¥36 销售价:登录后查看价格  ¥{{selectedSku?.salePrice}} 
库存: {{selectedSku?.stock}} 库存充足
{{item.title}}:
{{its.name}}
精选
内容简介
本书从一阶逻辑的语法和语义开始, 介绍了紧致性定理、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
……

蜀ICP备2024047804号

Copyright 版权所有 © jvwen.com 聚文网