名称: | |
描述: | |
公开/私有: | 公开 私有 |
反基础公理的逻辑研究, 李娜著 |
|
ISBN:
|
978-7-5161-7631-3 价格: CNY76.00 |
语种:
|
chi |
题名:
|
反基础公理的逻辑研究 [ 专著] fan ji chu gong li de luo ji yan jiu / 李娜著 , |
出版发行:
|
出版地: 北京 出版社: 中国社会科学出版社 出版日期: 2016 |
载体形态:
|
12,291页 照片 24cm |
摘要:
|
本书包含三编,第1编为用图刻画的各种反基础公理系统建立不同的集论模型,从而证明各种反基础公理与ZFCˉ的相对协调性。第2编修正、完善和丰富了巴威斯等人用代数方法——方程组刻画的反基础公理——解引理理论。第3编包括两个附录,附录1给出了结构之间的互模拟理论,附录2给出了项目研究期间发表的四篇论文。 |
主题:
|
公理方法 研究 |
中图分类:
|
B812.4 版次: 5 |
主要著者:
|
李娜 li na 著 |
标签:
|
相关主题:
|
相关资源:
|
|
分享资源:
|
HEA| |01322oam2 2200265 450 001| |0105125519 005| |20181104133427.8 010| |□a978-7-5161-7631-3□b精装□dCNY76.00 100| |□a20181104d2016 em y0chiy50 ea 101|0 |□achi□eeng 102| |□aCN□b110000 105| |□aa z 001yy 106| |□ar 200|1 |□a反基础公理的逻辑研究□9fan ji chu gong - | |li de luo ji yan jiu□b专著□f李娜著 210| |□a北京□c中国社会科学出版社□d2016 215| |□a12,291页□c照片□d24cm 225|0 |□a国家哲学社会科学成果文库□h2015 312| |□a封底英文题名:A logical study of an- | |ti-foundation axioms 330| |□a本书包含三编,第1编为用图刻画的各种反基础公理系统建立不- | |同的集论模型,从而证明各种反基础公理与ZFCˉ的相对协调性。- | |第2编修正、完善和丰富了巴威斯等人用代数方法——方程组刻画的- | |反基础公理——解引理理论。第3编包括两个附录,附录1给出了结- | |构之间的互模拟理论,附录2给出了项目研究期间发表的四篇论文。 461| 0|□12001 □a国家哲学社会科学成果文库 510|1 |□aLogical study of anti-founda- | |tion axioms□zeng 606|0 |□a公理方法□x研究 690| |□aB812.4□v5 701| 0|□a李娜□9li na□4著 801| 0|□aCN□bQXLIB□c20181104