反基础公理的逻辑研究
A Logical Study of Anti-Foundation Axioms
图书简介
《反基础公理的逻辑研究》包含三编,第Ⅰ编:为用图刻画的各种反基础公理系统(ZFC-+AFA(或者SAFA、FAFA以及反基础公理家族AFA~))建立不同的集论模型,从而证明各种反基础公理与ZFC-的相对协调性。第Ⅱ编:修正、完善并丰富了巴威斯(J.Barwise)等人用代数方法——方程组刻画的反基础公理——解引理的理论。第Ⅲ编:包括两个附录。附录1——给出了结构之间的互模拟理论。附录2——给出了项目研究期间发表的四篇论文。
作者简介
图书目录
相关推荐
-
图书 墨经逻辑研究
作者:杨武金
图书 墨经逻辑研究
-
2
图书 STIT逻辑研究
作者:贾青
图书 STIT逻辑研究
-
3
图书 确证难题的逻辑研究
作者:顿新国
图书 确证难题的逻辑研究
-
4
图书 汉传因明的逻辑研究
作者:傅光全
图书 汉传因明的逻辑研究
-
5
图书 法律逻辑与侦查逻辑研究
作者:印大双
图书 法律逻辑与侦查逻辑研究
-
6
图书 中国表示法及其逻辑研究
作者:杜国平
图书 中国表示法及其逻辑研究
-
7
图书 科学、技术与社会视角下的逻辑研究
作者:臧艳雨
图书 科学、技术与社会视角下的逻辑研究
-
8
图书 教师个人教学逻辑研究
作者:董静 彭寿清 冉隆锋
图书 教师个人教学逻辑研究
-
9
图书 防策略投票理论的逻辑研究
作者:孙雯
图书 防策略投票理论的逻辑研究
-
10
图书 本体论的逻辑基础:奎因逻辑观研究
作者:阴昭晖
图书 本体论的逻辑基础:奎因逻辑观研究
豆瓣评论