书目详细信息
： 反基础公理的模型研究
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-309-09838-9:CNY24.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 310000 |
| 题名责任者项： | 反基础公理的模型研究/.杜文静著 |
| 出版发行项： | 上海:,复旦大学出版社:,2013 |
| 载体形态项： | 273页:;+图:;+22cm |
| 一般附注： | 2012年上海高校青年教师培养资助计划 2012年华东政法大学校级项目 2013年高等学校青年骨干教师国内访问学者项目资助 |
| 提要文摘： | 本著作在借鉴和吸纳国内外研究成果的基础上, 研究内容主要包括: 利用典范图探讨集合全域中的外延公理。特别的, 利用哥德尔的可构成模型L, 根据可构成公理V=L, 为含有反基础公理AFA的集合论系统ZFC- +AFA和含有反基础公理族AFA~的集合论系统ZFC- + AFA~建立可构成模型; 此外, 在林德斯姆工作的基础上, 采用阿克采尔的方法, 为含有反基础公理族AFA~的构造集合论系统CZF- + AFA~建立构造性模型。这些研究工作对丰富集合论理论具有一定的意义, 并对人工智能与法律领域的学者致力于运用人工智能技术处理法律领域内的论证识别、构造、分析、评价的过程以及进一步促进论证形式化系统可视化、软件化的应用升级有一定的促进作用。 |
| 题名主题： | 公理方法 研究 |
| 索书号： | B812.4/D87/D87 |
| 中图分类： | B812.4 |
| 个人名称等同： | 杜文静, 著 |
| 记录来源： | CN 三新书业 20131024 |