反基础公理的模型研究
图书信息
书名：反基础公理的模型研究作者：杜文静
包装：平装
出版社：复旦大学出版社
出版时间：2013-05-01
图书简介
《反基础公理的模型研究》的研究内容主要包括：探讨集合全域中的外延公理，利用哥德尔的可构成模型为含有反基础公理AFA的集合论系统ZFC-+AFA和含有反基础公理族AFA~的集合论系统ZFC-+AFA~建立可构成模型，采用阿克采尔的方法，为含有反基础公理族AFA~的构造集合论系统CZF-+AFA~建立构造性模型。该书的研究工作对丰富集合论理论具有一定的意义，并对运用人工智能技术处理法律领域内论证的识别、构造、分析、评价的过程以及进一步促进论证形式化系统可视化、软件化，都有一定的促进作用。
推荐理由
本书是一本集合论领域的重要著作，适合对数学基础扎实的读者进行深入学习。本书的特色在于对反基础公理的探讨和模型研究，这对于认识循环现象和非良基集合的发展历史具有重要意义。另外，本书还将反基础公理应用于法律推理中，对于希望将集合论与其他学科领域结合的读者具有借鉴意义。