扫一扫
关注中图网
官方微博
¥47.9(6.3折)?
预估到手价是按参与促销活动、以最优惠的购买方案计算出的价格（不含优惠券部分），仅供参考，未必等同于实际到手价。
00:00:00
促销活动:
本类五星书更多>
-
>
(精)清儒学案-九品(全10册)
-
>
素书
-
>
(精)周桂钿文集:秦汉思想研究(全7册)
-
>
海德格尔形式显示的实存哲学
-
>
毛泽东读书笔记解析.4:历史卷
-
>
中国学术名著丛书-杨树达:老子古义 周子古义
-
>
(精)斐多:柏拉图对话录(毛边本)
反基础公理的逻辑研究-国家哲学社会科学成果文库 版权信息
- ISBN：9787516176313
- 条形码：9787516176313 ; 978-7-5161-7631-3
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>>
反基础公理的逻辑研究-国家哲学社会科学成果文库 本书特色
由李娜*的《反基础公理的逻辑研究(精)》包含三编，**编为用图刻画的各种反基础公理系统（zfc ˉ afa(或者safa、fafa以及反基础公理家族afa~) ）建立不同的集论模型，从而证明各种反基础公理与 zfcˉ的相对协调性。第2编修正、完善和丰富了巴威斯（j.barwise）等人用代数方法——方程组刻画的反基础公理——解引理理论。第3编包括两个附录?br/>附录1给出了结构之间的互摸拟理论。附录2给出了项目研究期间发表的部分论文?br/>
反基础公理的逻辑研究-国家哲学社会科学成果文库 内容简介
本书包含三编：第Ⅰ编：为用图的方法为刻画非良基集合论系统ZFC/ AFA（或者SAFA、FAFA以及反基础公理家族AFA~）建立了三种模型，从而证明各种反基础公理与ZFC?（=ZFC-FA）的相对协调性。第Ⅱ编：基于线性方程组和它的解之间的关系，修正、完善和丰富了巴威斯（J.Barwise）等人用代数方法——方程组刻画的反基础公理--解引理理论。第Ⅲ编：包括两个附录。附录1----给出了结构之间的互摸拟理论。附录2----给出了项目研究期间发表的部分论文。
反基础公理的逻辑研究-国家哲学社会科学成果文库 目录
前言第ⅰ编 用图刻画的反基础公理**章 基础公理与反基础公理 一 基础公理 (一)良基关系 (二)良基集 二 集合论中的一些非良基现象 (一)流 (二)无穷树 (三)非良基集合 三 反基础公理 (一)良基集合和非良基集合的另一种刻画 (二)集合和图 (三)反基础公理第二章 基本概念和结论 一 一些基本概念 二 四种非良基集合论 (一)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和公理系统zfa (二)zfa的模型v(a) (三)zfa的满模型 (四)非良基集上的外延性 (五)zfc a afa～的模型第ⅱ编用方程组刻画的反基础公理第四章集合方程组与解引理 一 线性方程组与它的解 (一)线性方程组 (二)线性方程组的一般解 二 齐次平坦方程组与它的解引理 (一)齐次平坦方程组 (二)齐次平坦方程组的解引理lafa 三 (barwise-型的)平坦方程组与它的解引理 (一)(barwise-型的)平坦方程组 (二)解引理afa (三)(barwise-型的)平坦方程组的一个扩张第五章基于方程组的互模拟 一 互模拟的齐次平坦方程组 二 互模拟的广义平坦方程组 三 互模拟的一些基本性质 四 集合的强外延性第六章广义方程组与解引理 一 广义方程组 (一)广义方程组 (二)代入 二广义方程组的解引理 第七章反基础公理afa与zfc一的相对协调性 一 一个强外延的模型 (一)一个证明计划 (二)一个强外延的模型 二 一些互模拟的方程组 (一)一个重要结论 (二)一些互模拟的方程组 三 zfc的协调性 (一)翻译 (二)zfc的协调性 四 afa的协调性 第八章 两种反基础公理之间的关系 一 图与集合 (一)图 (二)两种反基础公理之间的关系 二 加标图 (一)加标图 (二)根据∈定义的二元关系 (三)一些互模拟的图第九章 两种方程组和它们的解引理 一 齐次平坦方程组的一种扩张 (一)齐次平坦方程组的一种扩张 (二)finsler一齐次平坦方程组的解引理fafa (三)两种反基础公理的等价性 二 齐次崎岖方程组和它的解引理 (一)齐次崎岖方程组 (二)解引理qqafa 三 崎岖方程组和它的解引理 (一)崎岖方程组 (二)解引理qafa (三)一个一览表第ⅲ篇 附录附录l 结构之间的互模拟 一 满模拟下的一些保持性 二 互模拟下的一些不变性附录2 已发表的部分论文 集合论的反基础公理 论基础公理与反基础公理 互模拟的一些基本性质 解悖方法研究近况主要参考文献索引
展开全部
反基础公理的逻辑研究-国家哲学社会科学成果文库 作者简介
李娜，女，1958年生，河南开封市人。研究方向：现代逻辑。中国逻辑学会会员。现任南开大学哲学院逻辑教研室教授、博士生导师。主持多项省级或国家级社会科学研究项目。
书友推荐
- >
随园食单
随园食单
¥20.6¥48.0 - >
月亮虎
月亮虎
¥15.4¥48.0 - >
莉莉和章鱼
莉莉和章鱼
¥16.0¥42.0 - >
烟与镜
烟与镜
¥18.2¥48.0 - >
回忆爱玛侬
回忆爱玛侬
¥10.5¥32.8 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥15.9¥49.8 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0
本类畅销
-
简单的逻辑学:逻辑学入门很简单
¥18.4¥36 -
中西文化回眸
¥22.7¥59.8 -
简单的逻辑学
¥14.7¥29.9 -
逻辑学十五讲-(第二版)
¥37.8¥59 -
李卓吾.两种阳明学-沟口雄三著作集
¥24¥49 -
小逻辑
¥31.5¥42
