
[书籍] 反基础公理的逻辑研究
出版社:
中国社会科学出版社
简介:
《反基础公理的逻辑研究(精)》包含三编,第1编为用图刻画的各种反基础公理系统ZFCˉ+AFA(或者SAFA、FAFA以及反基础公理家族AFA~)建立不同的集论模型,从而证明各种反基础公理与ZFCˉ的相对协调性。第2编修正、完善和丰富了巴威斯(J.Barwise)等人用代数方法:方程组刻画的反基础公理——解引理理论。第3编包括两个附录。附录1给出了结构之间的互摸拟理论。附录2给出了项目研究期间发表的部分论文。
用户推荐(0)
暂无推荐,你也可以发布推荐哦:)
登录 | 立即注册