书目

反基础公理的逻辑研究

内容简介

《反基础公理的逻辑研究(精)》包含三编，第1编为用图刻画的各种反基础公理系统ZFCˉ+AFA(或者SAFA、FAFA以及反基础公理家族AFA~)建立不同的集论模型，从而证明各种反基础公理与ZFCˉ的相对协调性。第2编修正、完善和丰富了巴威斯（J.Barwise）等人用代数方法：方程组刻画的反基础公理——解引理理论。第3编包括两个附录。附录1给出了结构之间的互摸拟理论。附录2给出了项目研究期间发表的部分论文。

作者简介

李娜，女，1958年生，河南开封市人。研究方向：现代逻辑。中国逻辑学会会员。1978年至1982年在河南大学数学系学习，获理学学士学位。1986至1989年在中国科学院软件研究所学习，获理学硕士学位。现任南开大学哲学院逻辑教研室教授、博士生导师。主持多项国家或省级社会科学研究项目；出版《数理逻辑的思想与方法》、《集合论含有原子的自然模型和布尔值模型等学术专著》，发表《GB的布尔值模型》等多篇学术论文；获得教育部人文社会科学优秀成果二等奖1次、三等奖1次。

目录

—  END  —