您好,欢迎光临上海图书公司! 登录
弗协调集合论模型研究
ISBN:9787522737867
作者:作者:何建锋|责编:杨晓芳|总主编:邹进文
定价:¥98.0
出版社:null
版次:第1版
印次:第1次印刷
开本:4 平装
页数:247页
商品详情
目录

前言
第一章  弗协调集合论概况
  第一节  弗协调逻辑
  第二节  弗协调集合论的典型系统
  第三节  弗协调集合论的模型
  本章小结
第三章  ZF的经典模型
  第一节  预备知识
  第二节  可构成模型
  第三节  置换模型
  第四节  力迫模型
  本章小结
第三章  ZF的非经典模型
  第一节  布尔值模型
  第二节  广义代数值模型
  第三节  拓扑斯
  本章小结
第四章  弗协调集合论ZQST
  第一节  弗协调命题逻辑系统Zn
  第二节  弗协调一阶谓词逻辑系统ZQ
  第三节  基于ZQ的弗协调集合论ZQST
  第四节  ZQST中的序数和基数
  本章小结
第五章  ZQST的模型
  第一节  弗协调集合的构造方法
  第二节  ZQST的拓扑模型的构造思路
  第三节  ZQST的广义代数值模型
  本章小结
结语
参考文献

最近浏览过的书籍