集合论
集合论导引(第三卷)高阶无穷
《集合论导引(第三卷)高阶无穷》,作者:冯琦 著 出版社:科学出版社 ISBN:9787030636232。本卷是在前两卷的基础上对集合论保证无穷集合存在的无穷公理的层次分析。这种分析既包含组合分析,也包含逻辑分析;既包含内模型分析,也包含外模型分析;归根结底是揭示各种高阶无穷公理对整个集合论论域的影响,尤其是对实数集合的影响。因此,第三卷的第1章侧重于大基数的组合分析、逻辑分析以及内
集合论导引(第二卷)集论模型
《集合论导引(第二卷)集论模型》,作者:冯琦 著 出版社:科学出版社 ISBN:9787030636225。本卷是集合论的模型分析部分。在第一卷的基础上,本卷的主要任务是将逻辑植入集合论之中,并以此为基础实现三大目标:第一大目标是将同质子模型分析引入集合论,这是一种不同于组合分析的对无穷集合展开分析的基本方法;第二大目标则是建立集合论论域的具有典范作用的内模型——哥德尔可构造集论域,从
集合论导引(第一卷)基本理论
《集合论导引(第一卷)基本理论》,作者:冯琦 著 出版社:科学出版社 ISBN:9787030636218。本卷是这本《集合论导引》的开卷,分为三章,是后续两卷的基础。第1章主要是引进集合论的基本公理、基本概念、基本方法,并给出典型的可数集合的例子,包括自然数集合、整数集合、有理数集合以及彻底有限集合等。第2章主要是引进选择公理以及由此建立起来的基数运算律和一些典型组合实例。第3章专门