作者：李娜 日期：2018-11-18 10:02:43
由李娜*的《反基础公理的逻辑研究(精)》包含三编，**编为用图刻画的各种反基础公理系统（zfc ˉ afa(或者safa、fafa以及反基础公理家族afa~) ）建立不同的集论模型，从而证明各种反基础公理与 zfcˉ的相对协调性。第2编修正、完善和丰富了巴威斯（j.barwise）等人用代数方法——方程组刻画的反基础公理——解引理理论。第3编包括两个附录?br/>附录1给出了结构之间的互摸拟理论。附录2给出了项目研究期间发表的部分论文?br/>