反基础公理的逻辑研究
正版新书 新华官方库房直发 可开电子发票
￥ 52.44 6.9折 ￥ 76 全新
库存4件
作者李娜 著
出版社中国社会科学出版社
ISBN9787516176313
出版时间2016-03
版次1
装帧精装
开本16开
纸张胶版纸
页数291页
字数329千字
定价76元
货号SC:9787516176313
上书时间2024-12-04
商品详情
- 品相描述：全新
- 全新正版 提供发票
- 商品描述
-
作者简介:
李娜，女，1958年生，河南开封市人。研究方向：现代逻辑。巾同逻辑学会会员。1978年至1982年在河南大学数学系学习，获理学学士学位。1986至1989年在巾国科学院软件研究所学习，获理学硕士学位。现任南开大学哲学院逻辑教研室教授、博十生导师。主持多项省级或重量社会科学研究项目；出版《数理逻辑的思想与方法》、《集合论含有原子的自然模型和布尔值模型》等学术专著，发表《GB的布尔值模型》等多篇学术论文；获得教育部人文礼会科学很好成果二等奖1次、三等奖1次。
内容简介:
《反基础公理的逻辑研究》内容包括：良基集合和非良基集合的另一种刻画；集合和图；反基础公理；基于V8的ZFC—+AFA的模型；基于Vo8的ZFC—+AFA—的模型；齐次平坦方程组；齐次平坦方程组的解引理LAFA等等。
目录:
前言
第Ⅰ编 用图刻画的反基础公理
第一章 基础公理与反基础公理
一 基础公理
(一)良基关系
(二)良基集
二 集合论中的一些非良基现象
(一)流
(二)无穷树
(三)非良基集合
三 反基础公理
(一)良基集合和非良基集合的另一种刻画
(二)集合和图
(三)反基础公理
第二章 基本概念和结论
一 一些基本概念
二 四种非良基集合论
(一)AFA与Aczel集合论
(二)SAFA与Scott集合论
(三)FAFA和Finsler集合论
(四)BAFA与Boofa集合论
(五)AFA、SAFA和FAFA三者之间的关系
三 集合的论域
(一)良基集合的论域
(二)非良基集合的四个论域
(三)集合论域之间的关系
第三章 反基础公理与ZFCˉ的相对协调性
一 反基础公理的一个自然模型
(一)集合论的语言
(二)zFC+AFA的公理
(三)ZFC+AFA的一个自然模型
(四)ZFC+AFA的一个模型
二 基于VB的一个模型
(一)布尔值模型Vn
(二)基于VB的ZFCˉ+AFA的模型
(三)基于V0b的zFC+AFAˉ的模型
三 基于V=L的一个模型
(一)Godel的可构成模型L
(二)基于V=L的ZFC+AFA的模型
(三)基于L的ZFC+AFAˉ的模型
四 基于V(A)的一个模型
(一)直觉主义谓词演算系统HQC和公理
...
— 没有更多了 —
以下为对购买帮助不大的评价