反基础公理的逻辑研究

当前位置:首页 > 哲学/宗教 > 哲学 > 反基础公理的逻辑研究

  • 版 次:1
  • 页 数:
  • 字 数:329000
  • 印刷时间:
  • 开 本:16开
  • 纸 张:胶版纸
  • 包 装:平装
  • 是否套装:否
  • 国际标准书号ISBN:9787516176658
作者:李娜 著出版社:中国社会科学出版社出版时间:2016年03月 
内容简介
本书包含三编:
 
第Ⅰ编:为用图的方法为刻画非良基集合论系统ZFC/ AFA(或者SAFA、FAFA以及反基础公理家族AFA~)建立了三种模型,从而证明各种反基础公理与ZFC?(=ZFC-FA)的相对协调性。
 
第Ⅱ编:基于线性方程组和它的解之间的关系,修正、完善和丰富了巴威斯(J.Barwise)等人用代数方法——方程组刻画的反基础公理--解引理理论。
 
第Ⅲ编:包括两个附录。附录1----给出了结构之间的互摸拟理论。附录2----给出了项目研究期间发表的部分论文。
作者简介
李娜,女,1958年生,河南开封市人。研究方向:现代逻辑。中国逻辑学会会员。1978年至1982年在河南大学数学系学习,获理学学士学位。1986至1989年在中国科学院软件研究所学习,获理学硕士学位。现任南开大学哲学院逻辑教研室教授、博士生导师。主持多项省级或*社会科学研究项目;出版《数理逻辑的思想与方法》、《集合论含有原子的自然模型和布尔值模型等学术专著》,发表《GB的布尔值模型》等多篇学术论文;获得教育部人文社会科学优秀成果二等奖1次、三等奖1次。

 反基础公理的逻辑研究下载



发布书评

 
 

 

PDF图书网 

PDF图书网 @ 2017