弗协调集合论模型研究
全新正版 极速发货
￥ 60.35 6.2折 ￥ 98 全新
库存8件
广东广州
认证卖家担保交易快速发货售后保障
作者何建锋 著
出版社中国社会科学出版社
ISBN9787522737867
出版时间2024-09
四部分类子部>艺术>书画
装帧平装
开本16开
定价98元
货号1203383513
上书时间2024-12-03
商品详情
- 品相描述：全新
- 商品描述
-
目录
前言
第一章 弗协调集合论概况
第一节 弗协调逻辑
第二节 弗协调集合论的典型系统
第三节 弗协调集合论的模型
本章小结
第三章 ZF的经典模型
第一节 预备知识
第二节 可构成模型
第三节 置换模型
第四节 力迫模型
本章小结
第三章 ZF的非经典模型
第一节 布尔值模型
第二节 广义代数值模型
……
内容摘要
本书使用文献研究法讨论了一个数理逻辑问题: 弗协调集合论是否优于经典集合论。书稿从张清宇先生的弗协调命题逻辑出发构造一阶谓词系统和集合论系统, 并构造模型证明其非平凡性, 结果证明现有的弗协调集合论不优于经典集合论。本书同时还用模型证明了弗协调集合论的非平凡性, 在一定意义上拓展了其应用领域, 实现了洛韦和塔拉法德的猜想, 将广义代数值模型推广到弗协调集合论, 书稿也对集合论模型的构造技术作了一次较为充分的梳理, 为其它集合论模型的研究提供参考。
— 没有更多了 —
以下为对购买帮助不大的评价