版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
反基础公理的逻辑研究
A Logical Study of Anti-Foundation Axioms丛 书 名：国家哲学社会科学成果文库
I S B N：(纸本) 9787516176313
出 版 社：中国社会科学出版社
出 版 年：2016年
页 数：291页页
学科分类：01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学]
馆 藏 号：201104072...
摘 要：《反基础公理的逻辑研究》包含三编，第Ⅰ编：为用图刻画的各种反基础公理系统（ZFC - +AFA（或者SAFA、FAFA以及反基础公理家族AFA ～ ））建立不同的集论模型，从而证明各种反基础公理与ZFC - 的相对协调性。第Ⅱ编：修正、完善并丰富了巴威斯（***）等人用代数方法——方程组刻画的反基础公理——解引理的理论。第Ⅲ编：包括两个附录。附录1——给出了结构之间的互模拟理论。附录2——给出了项目研究期间发表的四篇论文。
