机读格式显示(MARC)
- 010 __ |a 978-7-5161-7631-3 |b 精装 |d CNY76.00
- 100 __ |a 20160428d2016 em y0chiy50 ea
- 200 1_ |a 反基础公理的逻辑研究 |A fan ji chu gong li de luo ji yan jiu |f 李娜著
- 210 __ |a 北京 |c 中国社会科学出版社 |d 2016
- 215 __ |a [20], 291页 |c 图 |d 25cm
- 225 2_ |a 国家哲学社会科学成果文库 |A guo jia zhe xue she hui ke xue cheng guo wen ku |h 2015
- 330 __ |a 本书包含三编,第1编为用图刻画的各种反基础公理系统建立不同的集论模型,从而证明各种反基础公理与ZFCˉ的相对协调性。第2编修正、完善和丰富了巴威斯(J.Barwise)等人用代数方法——方程组刻画的反基础公理——解引理理论。第3编包括两个附录。附录1给出了结构之间的互摸拟理论。附录2给出了项目研究期间发表的部分论文。
- 410 _0 |1 2001 |a 国家哲学社会科学成果文库 |h 2015
- 510 1_ |a Logical study of anti-foundation axioms |z eng
- 606 0_ |a 公理方法 |A gong li fang fa |x 研究
- 701 _0 |a 李娜, |A li na |f 1958- |4 著
- 801 _2 |a CN |b GDXH |c 20160606