初等模型论PDF格式文档图书下载
- 购买点数:10 点
- 作 者:姚宁远著
- 出 版 社:上海:复旦大学出版社
- 出版年份:2018
- ISBN:9787309140194
- 标注页数:238 页
- PDF页数: 页
图书介绍:
图书介绍
标签:模型
第1章 基本概念 1
1.1一阶逻辑的结构 1
1.2一阶公式和语义 7
1.3理论与模型 18
1.4初等子结构 21
第2章 紧致性定理 31
2.1 Henkin构造法 31
2.2超积 40
2.3超积的应用 46
2.4型的空间 48
2.5 Lowenheim-Skolem定理 53
第3章 紧致性定理的应用 59
3.1代数闭域 60
3.2无穷小量 69
3.3无穷图的四色定理 72
3.4 Ramsey定理与不可辨元序列 74
第4章 饱和性与齐次性 81
4.1ω-饱和性与ω-齐次性 81
4.2κ-饱和性与κ-齐次性 90
第5章 可数模型 107
5.1省略型定理 107
5.2素模型 111
5.3ω-范畴 119
第6章 量词消去 121
6.1无量词型 124
6.2量词消去 125
6.3模型完全 131
第7章 量词消去的应用 135
7.1代数闭域的量词消去 135
7.2实闭域的量词消去 139
7.3 Presburger算术的量词消去 151
7.4向量空间和无挠可除阿贝尔群 165
第8章ω-稳定理论 169
8.1ω-稳定性 169
8.2 Morley秩 175
8.3强极小理论的范畴性 186
8.4不可数范畴与Morley定理 191
8.5 Morley定理的证明 196
第9章 稳定理论 205
9.1稳定理论与可定义型 206
9.2可分割性 213
9.3ω-稳定理论中的分叉 223
参考文献 231
索引 233
相关书籍
- 《创意模型制作 建筑模型舰船模型车辆模型》杨雍国编著 2012
- 《基于混合模型和度量误差模型的林分生长收获模型研究》李永慈编著 2005
- 《半导器件模型和工艺模型》夏武颖编著 1986
- 《半导体器件模型和工艺模型》 2222
- 《静力学模型与地力学模型》(意)富马加利(E.Fumagalli)著;蒋彭年等译 1979
- 《曲线与曲面的数学 贝济埃模型、B-样条模型、NURBS模型》(法)吉贝·德芒热(Gilbert Demengel),(法)让皮尔·晡热(Jean-Pierre Pouget)著;王向东译 2000
- 《流域水文模拟 新安江模型与陕北模型》赵人俊编著 1984
- 《中国宏观经济模型的研制与应用 季度模型、向量自回归模型和多部门动态模型》张前荣著 2012
- 《建筑模型制作 模型思路的激发》沃尔夫冈·科诺(Wolfang Knoll),马丁·黑辛格尔(Martin Hechinger)著;刘华岳译 2003
- 《中国建筑模型 建境模型精品集 1998-2002》李晖主编 2002
作者其它书籍
出版社其它书籍
- 《上海方言词汇集》(英)艾约瑟(J.Edkins)编著 2016
- 《THE GOVERNMENT/PRESS CONNECTION PRESS OFFICERS AND THEIR OFFICES》STEPHEN HESS 1984
- 《PRESS》POLITICS & PUBLIC OPINION IN BIHAR 1912-1947 2010
- 《Press law》Robin Callender Smith. 1978
- 《SUING THE PRESS》RODNEY A.SMOLLA 1986
- 《THE PRESS AND AMERICA》 2222
- 《FREEDOM OF THE PRESS》ERIC BARENDT 2009
- 《FREEDOM OF THE PRESS》ROB EDELMAN 2006
- 《FREEDOM OF THE PRESS》DAVID L.GEBERT 2005
- 《Racism and the press》Teun A.van Dijk 2016