反基础公理的逻辑研究

书籍简介:

本书包含三编：第Ⅰ编：为用图的方法为刻画非良基集合论系统ZFC?+AFA（或者SAFA、FAFA以及反基础公理家族AFA~）建立了三种模型，从而证明各种反基础公理与ZFC?（=ZFC-FA）的相对协调性。第Ⅱ编：基于线性方程组和它的解之间的关系，修正、完善和丰富了巴威斯（J.Barwise）等人用代数方法——方程组刻画的反基础公理--解引理理论。第Ⅲ编：包括两个附录。附录1----给出了结构之间的互摸拟理论。附录2----给出了项目研究期间发表的部分论文。

书籍规格:

书籍信息归属:

反基础公理的逻辑研究是中国社会科学出版社于2016.1出版的中图分类号为 B81 的主题关于 逻辑学－研究 的书籍。