包邮弗协调集合论模型研究

1星价 ¥67.6 (6.9折)

2星价￥67.6 定价￥98.0

作者：何建锋著著

出版社：中国社会科学出版社

本类榜单：自然科学

分类：自然科学 > 数学

暂无评论

图文详情

ISBN：9787522737867
装帧：一般胶版纸
册数：暂无
重量：暂无
开本：其他
页数：247
出版时间：2024-09-01
条形码：9787522737867 ; 978-7-5227-3786-7

内容简介

本书使用文献研究法讨论了一个数理逻辑问题: 弗协调集合论是否优于经典集合论。书稿从张清宇先生的弗协调命题逻辑出发构造一阶谓词系统和集合论系统, 并构造模型证明其非平凡性, 结果证明现有的弗协调集合论不优于经典集合论。本书同时还用模型证明了弗协调集合论的非平凡性, 在一定意义上拓展了其应用领域, 实现了洛韦和塔拉法德的猜想, 将广义代数值模型推广到弗协调集合论, 书稿也对集合论模型的构造技术作了一次较为充分的梳理, 为其它集合论模型的研究提供参考。

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

展开全部