热搜：南怀瑾 |证严上人

分类浏览

  • 文学艺术
  • 历史哲学
  • 政治法律
  • 经济管理
  • 新闻传播
  • 外国语言
  • 理工科技
  • 文化教育
  • 医药卫生
  • 教辅教参
  • 学前教育
  • 综合性图书

品牌教材

复旦博学品牌
复旦卓越品牌


模型论：ω-稳定理论与代数闭域
作者：
 姚宁远 著
定价：
42 元
页数：
261页
ISBN：
978-7-309-17590-5/O.753
字数：
221千字
开本：
16 开
装帧：
平装
出版日期：
2024年12月 　　　　　　
本类其他相关图书

内容提要

       本书面向数学系和哲学系的研究生或高年级本科生，是模型论的进阶内容，读者需要有一定的模型论基础和抽象代数基础。
       第1章回顾了诸如可定义集、型、紧致性、饱和性、齐次性以及量词消去等模型论的基本概念。
       第2～4章分别介绍了强极小理论、ω-稳定理论以及ω-稳定群理论，属于纯粹模型论。在强极小理论中，基于预几何的维数理论是核心。在ω-稳定理论中，我们用Morley秩取代了强极小理论中的维数，同时发展出基于Morley秩的分叉理论，并在第4章中用这些方法证明了一个简化版的Hrushovski群构型定理。
       第5～7章讨论模型论方法在代数闭域、代数簇以及代数群中的应用。第5章证明了代数闭域的量词消去，并由此得出其范畴性和强极小性，从而也具有ω-稳定性。我们还用模型论的方法证明了Hilbert零点定理，并从Morley秩的角度讨论了Zariski闭集的性质，建立了不可约闭集与完全型的一一对应，从而事实上给出了完全型的“编码”。在第6章中，我们在模型论的框架下讨论抽象代数簇，将第5章的内容推广至抽象代数簇，同时给出了一个射影代数簇完备性的模型论证明。在第7章，我们将ω-稳定群的方法应用于代数群，并证明了Hrushovski-Weil群块定理，即代数闭域中的可定义群本质上都是代数群。
      

作者简介

       姚宁远，复旦大学哲学学院副教授，博士生导师。研究方向为模型论，主要研究实闭域和p-进闭域上的可定义群。在Advances in Math、Journal of Symbolic Logic、Annals of Pureand Applied Logic等期刊发表过论文。先后主持过国家自然科学基金青年项目、国家社会科学基金青年项目、国家自然科学基金面上项目。

书摘

书评       
　  

地址:上海市国权路579号
邮编:200433
电话:021-65642854(社办)
传真:021-65104812

　
　

版权所有©复旦大学出版社,2002-2025年，若有问题请与我们 (webmaster@fudanpress.com) 联系！ 沪ICP备05015926号