【登录】
【免费注册】
我的订单
我的账户
购物车
搜索
客服微信:hiholland 或 hidutch
电子邮件:info@mycnbook.com
首页
小说
中国文学
外国文学
童书
人文社科
生活健康
文化艺术
教育语言
经济管理
科学技术
小说
情感小说
历史、军事小说
青春小说
官职场小说
诗歌
散文
杂文
中国文学
古典小说、诗词
古典文学理论
四大名著
历史古籍
民间文学
现当代文学
文学名著
名人传记
现当代文学理论
科幻侦探小说
武侠小说
幽默漫画
名家作品集
外国文学
现当代文学
文学名著
名人传记
文学理论
科幻侦探小说
幽默漫画
童书
少儿读物
少儿注音读物
绘本卡通
启蒙读物
少儿艺术
少儿科普
手工制作
少儿-点读图书
低幼衔接
智力开发
卡片挂图
人文社科
宗教
伦理学、逻辑学
心理学
美学
中外哲学
中外历史
史学考古
旅游
地理
领导人著作
婚姻家庭
成功学
公共关系
应用文写作
新闻、传播
中外文化
社科其他
生活健康
中医
针灸推拿
家庭保健
生活休闲
美食烹饪
文化艺术
美术
摄影
雕塑版画
设计
收藏
民间工艺
历书
书法
篆刻
音乐
戏剧舞蹈
影视
文艺其他
教育语言
语言工具书
奥赛华赛
作文
学生字帖
外语
外语考试
中文
素质教育
地图
体育
棋牌
点读图书
科普读物
经济管理
经济理论
股票投资、期货
财政金融
会计
保险
大众经济读物
法学理论
管理理论
管理实务
战略管理
人力资源
市场营销
项目管理
职业经理
物流管理
质量管理
管理制度表格
酒店管理
房地产
电子商务
MBA、MPA
财富论坛
WTO
科学技术
图形图像
网页制作
工具书
数据库
编程语言
操作系统
网络技术
软硬件技术
计算机基础培训
园林艺术
建筑工程
建筑设计
种植业
养殖
兽医
农业科学
交通运输
综合工具书
环保
汽车维修
摩托车维修
反基础公理的逻辑研究
销 售 价 :
€19.00
作 者 :
李娜 著
编著
所属分类 :
图书
>
人文社科
>
伦理学、逻辑学
>
伦理学、逻辑学
库存:
2
购买数量 :
-
+
件
推荐图书
活着
€7.00
假面山庄
€11.25
清单人生
€10.50
蔡康永的情商课 为你自己活一次
€10.50
成为
€24.50
一问一世界 畅销升级版
€17.00
再孤单的人也有同类
€12.00
人设
€11.25
热点图书
山海经(精)/中华经典名著全本全注全译丛书/方韬译注
€6.50
马氏温灸法
€9.75
穆斯林的葬礼
€12.45
月亮与六便士
€8.75
三体全集(全3册)
€29.00
漫长的告别
€9.88
庄子
€6.25
稻草人手记
€8.00
商品介绍
作 者:
李娜 著
出版社:
中国社会科学出版社
出版时间:2016-03-01 07:00:00
开 本:16开开
页 数:291
印刷时间:2016-03-01 07:00:00
字 数:329千字千字
装 帧:精装
语 种:无
版 次:1
印 次:1
I S B N:9787516176313
目录
前言
第Ⅰ编 用图刻画的反基础公理
第一章 基础公理与反基础公理
一 基础公理
(一)良基关系
(二)良基集
二 集合论中的一些非良基现象
(一)流
(二)无穷树
(三)非良基集合
三 反基础公理
(一)良基集合和非良基集合的另一种刻画
(二)集合和图
(三)反基础公理
第二章 基本概念和结论
一 一些基本概念
二 四种非良基集合论
(一)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 已发表的部分论文
集合论的反基础公理
论基础公理与反基础公理
互模拟的一些基本性质
解悖方法研究近况
主要参考文献
索引
内容简介
《反基础公理的逻辑研究》内容包括:良基集合和非良基集合的另一种刻画;集合和图;反基础公理;基于V8的ZFC—+AFA的模型;基于Vo8的ZFC—+AFA—的模型;齐次平坦方程组;齐次平坦方程组的解引理LAFA等等。