书目

算术超滤：自然数的紧化延伸

内容简介

这部关于算术超滤的专著，是作者用集论拓扑研究自然数理论所做的一些探索的小结。《算术超滤：自然数的紧化延伸》主要内容包括：自然数理论发展的历史回顾，超滤空间与算术超滤的基本概念，有关非主算术超滤存在性的定理，用算术超滤构造的算术模型的性质与应用（如用于构造实数，构造实数的可数饱非标准模型，研究无限元Diophantine方程的求解），以及一些特殊的算术超滤等。《算术超滤：自然数的紧化延伸》可供集论拓扑、数论、数理逻辑、数学基础、数学教育与数学哲学及其他相关专业的高年级本科生、研究生、教学与研究人员参考。

作者简介

汪芳庭，1940年出生于安徽省安庆市，1962年毕业于上海复旦大学数学系。曾任中国科学技术大学数学系教授，长期从事基础课教学。主要研究领域为数学基础与数理逻辑，在关于算术超滤理论与应用的研究以及哥德尔第二不完备性定理证明的研究方面取得成果。部分研究成果曾分别在欧洲逻辑会议（LogicColloquium'88）与世界数学家大会（ICM2002）上宣读。主要著作有《数理逻辑》《数学基础》。

目录

丛书

皖籍科学家学术文库

—  END  —