您好,欢迎来到聚文网。
登录
免费注册
网站首页
|
搜索
热搜:
磁力片
|
漫画
|
购物车
0
我的订单
商品分类
首页
幼儿
文学
社科
教辅
生活
销量榜
反基础公理的逻辑研究
字数: 329千字
装帧: 精装
出版社: 中国社会科学出版社
作者: 李娜 著
出版日期: 2016-03-01
商品条码: 9787516176313
版次: 1
开本: 16开
页数: 291
出版年份: 2016
定价:
¥76
销售价:
登录后查看价格
¥{{selectedSku?.salePrice}}
库存:
{{selectedSku?.stock}}
库存充足
{{item.title}}:
{{its.name}}
加入购物车
立即购买
加入书单
收藏
精选
¥5.83
世界图书名著昆虫记绿野仙踪木偶奇遇记儿童书籍彩图注音版
¥5.39
正版世界名著文学小说名家名译中学生课外阅读书籍图书批发 70册
¥8.58
简笔画10000例加厚版2-6岁幼儿童涂色本涂鸦本绘画本填色书正版
¥5.83
世界文学名著全49册中小学生青少年课外书籍文学小说批发正版
¥4.95
全优冲刺100分测试卷一二三四五六年级上下册语文数学英语模拟卷
¥8.69
父与子彩图注音完整版小学生图书批发儿童课外阅读书籍正版1册
¥24.2
好玩的洞洞拉拉书0-3岁宝宝早教益智游戏书机关立体翻翻书4册
¥7.15
幼儿认字识字大王3000字幼儿园中班大班学前班宝宝早教启蒙书
¥11.55
用思维导图读懂儿童心理学培养情绪管理与性格培养故事指导书
¥19.8
少年读漫画鬼谷子全6册在漫画中学国学小学生课外阅读书籍正版
¥64
科学真好玩
¥12.7
一年级下4册·读读童谣和儿歌
¥38.4
原生态新生代(传统木版年画的当代传承国际研讨会论文集)
¥11.14
法国经典中篇小说
¥11.32
上海的狐步舞--穆时英(中国现代文学馆馆藏初版本经典)
¥21.56
猫的摇篮(精)
¥30.72
幼儿园特色课程实施方案/幼儿园生命成长启蒙教育课程丛书
¥24.94
旧时风物(精)
¥12.04
三希堂三帖/墨林珍赏
¥6.88
寒山子庞居士诗帖/墨林珍赏
¥6.88
苕溪帖/墨林珍赏
¥6.88
楷书王维诗卷/墨林珍赏
¥9.46
兰亭序/墨林珍赏
¥7.74
祭侄文稿/墨林珍赏
¥7.74
蜀素帖/墨林珍赏
¥12.04
真草千字文/墨林珍赏
¥114.4
进宴仪轨(精)/中国古代舞乐域外图书
¥24.94
舞蹈音乐的基础理论与应用
内容简介
《反基础公理的逻辑研究》内容包括:良基集合和非良基集合的另一种刻画;集合和图;反基础公理;基于V8的ZFC—+AFA的模型;基于Vo8的ZFC—+AFA—的模型;齐次平坦方程组;齐次平坦方程组的解引理LAFA等等。
作者简介
李娜,女,1958年生,河南开封市人。研究方向:现代逻辑。巾同逻辑学会会员。1978年至1982年在河南大学数学系学习,获理学学士学位。1986至1989年在巾国科学院软件研究所学习,获理学硕士学位。现任南开大学哲学院逻辑教研室教授、博十生导师。主持多项省级或重量社会科学研究项目;出版《数理逻辑的思想与方法》、《集合论含有原子的自然模型和布尔值模型》等学术专著,发表《GB的布尔值模型》等多篇学术论文;获得教育部人文礼会科学很好成果二等奖1次、三等奖1次。
目录
前言
第Ⅰ编 用图刻画的反基础公理
第一章 基础公理与反基础公理
一 基础公理
(一)良基关系
(二)良基集
二 集合论中的一些非良基现象
(一)流
(二)无穷树
(三)非良基集合
三 反基础公理
(一)良基集合和非良基集合的另一种刻画
(二)集合和图
(三)反基础公理
第二章 基本概念和结论
一 一些基本概念
二 四种非良基集合论
(一)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 已发表的部分论文
集合论的反基础公理
论基础公理与反基础公理
互模拟的一些基本性质
解悖方法研究近况
主要参考文献
索引
×
Close
添加到书单
加载中...
点此新建书单
×
Close
新建书单
标题:
简介:
蜀ICP备2024047804号
Copyright 版权所有 © jvwen.com 聚文网