基本信息
编辑推荐
本书是代数模型论的一本人门书
内容简介
书籍
数学书籍
《代数模型论引论》是代数模型论的一本人门书．第一章介绍代数模型论所需要的模型论的基础知识．第二章至第九章分别介绍代数模型论各主要领域在近二三十年来国外的主要研究成果和研究方法，其中包括代数闭域、实闭域、线性序和偏序结构的模型论等．最后一章介绍可计算模型论．本书起点较低，具备’数学系二、三年级知识的读者即可阅读，并具自完备性，以方便阅读．本书终点较高，可引导具有数理逻辑基础知识的读者进入国际上的研究前沿．各章末均附有习题，以助读者深入理解本书内容．
《代数模型论引论》可供高等院校数学、逻辑、哲学以及计算机科学等专业高年级本科生、研究生、教师和相关的科学研究工作者参考，也可作为相关专业研究生的教科书．
数学书籍
《代数模型论引论》是代数模型论的一本人门书．第一章介绍代数模型论所需要的模型论的基础知识．第二章至第九章分别介绍代数模型论各主要领域在近二三十年来国外的主要研究成果和研究方法，其中包括代数闭域、实闭域、线性序和偏序结构的模型论等．最后一章介绍可计算模型论．本书起点较低，具备’数学系二、三年级知识的读者即可阅读，并具自完备性，以方便阅读．本书终点较高，可引导具有数理逻辑基础知识的读者进入国际上的研究前沿．各章末均附有习题，以助读者深入理解本书内容．
《代数模型论引论》可供高等院校数学、逻辑、哲学以及计算机科学等专业高年级本科生、研究生、教师和相关的科学研究工作者参考，也可作为相关专业研究生的教科书．
目录
《代数模型论引论》
《现代数学基础丛书》序
前言
第一章模型论的预备知识
§1.1数学结构及其理论
§1.2素模型和初等子模型
§1.3模型的同构和Morley范畴性定理
§1.4理论的完全性和模型完全性
§1.5量词可消去
§1.6量词可消去的判定法
§1.7型，完备公式和孤立型
§1.8稳定性理论简介
习题一
第二章代数闭域
§2.1代数闭域的完全性和可判定性
§2.2代数闭域的量词可消去
§2.3 Zariski闭集和可构成集
§2.4代数闭域的强极小性
§2.5代数闭域的映像可消古
习题二
《现代数学基础丛书》序
前言
第一章模型论的预备知识
§1.1数学结构及其理论
§1.2素模型和初等子模型
§1.3模型的同构和Morley范畴性定理
§1.4理论的完全性和模型完全性
§1.5量词可消去
§1.6量词可消去的判定法
§1.7型，完备公式和孤立型
§1.8稳定性理论简介
习题一
第二章代数闭域
§2.1代数闭域的完全性和可判定性
§2.2代数闭域的量词可消去
§2.3 Zariski闭集和可构成集
§2.4代数闭域的强极小性
§2.5代数闭域的映像可消古
习题二
