商品详情
弗协调集合论模型研究
ISBN:9787522737867
作者:作者:何建锋|责编:杨晓芳|总主编:邹进文
定价:¥98.0
出版社:null
版次:第1版
印次:第1次印刷
开本:4
平装
页数:247页
目录
前言
第一章 弗协调集合论概况
第一节 弗协调逻辑
第二节 弗协调集合论的典型系统
第三节 弗协调集合论的模型
本章小结
第三章 ZF的经典模型
第一节 预备知识
第二节 可构成模型
第三节 置换模型
第四节 力迫模型
本章小结
第三章 ZF的非经典模型
第一节 布尔值模型
第二节 广义代数值模型
第三节 拓扑斯
本章小结
第四章 弗协调集合论ZQST
第一节 弗协调命题逻辑系统Zn
第二节 弗协调一阶谓词逻辑系统ZQ
第三节 基于ZQ的弗协调集合论ZQST
第四节 ZQST中的序数和基数
本章小结
第五章 ZQST的模型
第一节 弗协调集合的构造方法
第二节 ZQST的拓扑模型的构造思路
第三节 ZQST的广义代数值模型
本章小结
结语
参考文献
最近浏览过的书籍