编辑推荐
《代数模型论引论(典藏版)》可供高等院校数学、逻辑、哲学以及计算机科学等专业高年级本科生、研究生、教师和相关的科学研究工作者参考，也可作为相关专业研究生的教科书。
目录
《现代数学基础丛书》序
前言
第1章模型论的预备知识
1.1数学结构及其理论
1.2素模型和初等子模型
1.3模型的同构和morley范畴性定理
1.4理论的完全性和模型完全性
1.5量词可消去
1.6量词可消去的判定法
1.7型，完备公式和孤立型
1.8稳定性理论简介
习题一
第二章代数闭域
2.1代数闭域的完全性和可判定性
2.2代数闭域的量词可消去
2.3zariski闭集和可构成集
2.4代数闭域的强极小性
2.5代数闭域的映像可消古
习题二
第三章实闭域
3.1实代数简介
3.2实域
3.3实闭域
3.4半代数集和单元的可分解性
3.5实闭域中的根式理想
习题三
第四章少进位域
4.1绝对值和赋值
4.2有理数集的赋值
4.3f—进位闭域
4.4qp上的连续性和导数
4.5qp的可定义集和量词可消去
4.6p—进位域乘法的可定义性
习题四
第五章微分闭域
5.1微分代数
5.2微分闭域
5.3微分闭域的映像可消去
5.4线性微分方程
5.5微分闭域中的型
习题五
第六章强极小集及其几何
6.1强极小集及其性质
6.2准几何和几何
习题六
第七章线性序结构
7.1线性序结构的可定义集和o—极小性
7.2o—极小结构
7.3强o—极小理论素模型的存在和性
习题七
第八章偏序结构
8.1偏序结构
8.2树结构
8.3boole代数和o—极小性
8.4stone代数的可定义集
习题八
第九章可分闭域
9.1可分闭域
9.2可分闭域的理论
9.3可分闭域的稳定性
9.4可分闭域的映像可消去
习题九
第十章可计算模型论简介
10.1模型论及其概念的可计算化
10.2完全性定理的可计算化
10.3可判定性和模型
10.4有可计算素模型的强极小理论
习题十
参考文献
汉英名词对照表
《现代数学基础丛书》已出版书目
文摘
版权页：
插图：
《代数模型论引论(典藏版)》可供高等院校数学、逻辑、哲学以及计算机科学等专业高年级本科生、研究生、教师和相关的科学研究工作者参考，也可作为相关专业研究生的教科书。
目录
《现代数学基础丛书》序
前言
第1章模型论的预备知识
1.1数学结构及其理论
1.2素模型和初等子模型
1.3模型的同构和morley范畴性定理
1.4理论的完全性和模型完全性
1.5量词可消去
1.6量词可消去的判定法
1.7型，完备公式和孤立型
1.8稳定性理论简介
习题一
第二章代数闭域
2.1代数闭域的完全性和可判定性
2.2代数闭域的量词可消去
2.3zariski闭集和可构成集
2.4代数闭域的强极小性
2.5代数闭域的映像可消古
习题二
第三章实闭域
3.1实代数简介
3.2实域
3.3实闭域
3.4半代数集和单元的可分解性
3.5实闭域中的根式理想
习题三
第四章少进位域
4.1绝对值和赋值
4.2有理数集的赋值
4.3f—进位闭域
4.4qp上的连续性和导数
4.5qp的可定义集和量词可消去
4.6p—进位域乘法的可定义性
习题四
第五章微分闭域
5.1微分代数
5.2微分闭域
5.3微分闭域的映像可消去
5.4线性微分方程
5.5微分闭域中的型
习题五
第六章强极小集及其几何
6.1强极小集及其性质
6.2准几何和几何
习题六
第七章线性序结构
7.1线性序结构的可定义集和o—极小性
7.2o—极小结构
7.3强o—极小理论素模型的存在和性
习题七
第八章偏序结构
8.1偏序结构
8.2树结构
8.3boole代数和o—极小性
8.4stone代数的可定义集
习题八
第九章可分闭域
9.1可分闭域
9.2可分闭域的理论
9.3可分闭域的稳定性
9.4可分闭域的映像可消去
习题九
第十章可计算模型论简介
10.1模型论及其概念的可计算化
10.2完全性定理的可计算化
10.3可判定性和模型
10.4有可计算素模型的强极小理论
习题十
参考文献
汉英名词对照表
《现代数学基础丛书》已出版书目
文摘
版权页：
插图：
| ISBN | 9787030324085 |
|---|---|
| 出版社 | 科学出版社 |
| 作者 | 史念东 |
| 尺寸 | 5 |