集合论导引(第二卷)集论模型
出版时间:
2019-12
版次:
1
ISBN:
9787030636225
定价:
168.00
装帧:
平装
开本:
16开
页数:
390页
15人买过
-
本卷是集合论的模型分析部分。在第一卷的基础上,本卷的主要任务是将逻辑植入集合论之中,并以此为基础实现三大目标:第一大目标是将同质子模型分析引入集合论,这是一种不同于组合分析的对无穷集合展开分析的基本方法;第二大目标则是建立集合论论域的具有典范作用的内模型——哥德尔可构造集论域,从而证明一般连续统假设和选择公理的相对相容性;第三大目标是建立集合论论域的具有典范意义的外模型——科恩的力迫扩张模型,从而证明连续统假设以及选择公理的相对独立性。这三大目标分为三章分别来实现。在一定意义上讲,每一章体现一种基本方法。这些基本方法是从事集合论研究的基本的方法。 目录
《现代数学基础丛书》序
序言
引言 1
第1章 集合论传递模型 5
1.1 植入逻辑学概念 6
1.1.1 外在形式表达式与解析表达式 8
1.1.2 内置解析表达式真假判定 15
1.1.3 相对解析表达式 18
1.1.4 KP集合理论 19
1.1.5 KP-语言依定义扩展 37
1.1.6 逻辑语法对象之集合表示 52
1.1.7 内在集合模型 57
1.2 内在模型论概要 62
1.2.1 集合论上依定义扩充 62
1.2.2 模型论概要 69
1.2.3 集合论模型 79
1.2.4 相对化解释 85
1.3 模型分析应用:谢旯pcf理论 94
1.3.1 谢旯序数函数偏序空间梯度定理 95
1.3.2 谢旯共尾可能性理论 106
1.4 练习 123
第2章 集合论内模型 127
2.1 可构造集内模型 127
2.1.1 哥德尔集合运算与可构造集公理 137
2.1.2 可构造集合之秩序 169
2.1.3 一般连续统假设 177
2.1.4 L中的组合原理 182
2.1.5 L中的弱紧基数 189
2.2 兼容内模型 195
2.2.1 相对可构造集 195
2.2.2 内模型HOD 200
2.2.3 实数序数可定义集合 204
2.2.4 内模型L(R) 205
2.3 练习 207
第3章 力迫论 211
3.1 力迫基本理论 211
3.1.1 力迫基本概念 211
3.1.2 力迫语言与力迫扩张结构 216
3.1.3 力迫关系 222
3.1.4 内在力迫关系 233
3.1.5 力迫扩张基本定理 249
3.2 连续统假设之独立性 253
3.2.1 添加单个科恩实数 253
3.2.2 添加N2个科恩实数 254
3.2.3 添加不可数基数之子集 267
3.2.4 乘积偏序集 281
3.3 选择公理之独立性 291
3.3.1 偏序集完备嵌入映射 291
3.3.2 选择公理之独立性 296
3.4 马丁公理之合理性 299
3.4.1 一步迭代 300
3.4.2 有限支撑迭代 309
3.4.3 力迫马丁公理与非连续统假设 312
3.5 布尔值模型 317
3.5.1 完备布尔代数 317
3.5.2 布尔值结构 338
3.5.3 布尔值模型VB 345
3.5.4 布尔值模型与偏序力迫扩张 357
3.5.5 完备布尔子代数与泛型扩张子模型 363
3.5.6 完备布尔代数广义分配律 368
3.5.7 可数化 377
3.6 练习 382
索引 387
《现代数学基础丛书》已出版书目 391
-
内容简介:
本卷是集合论的模型分析部分。在第一卷的基础上,本卷的主要任务是将逻辑植入集合论之中,并以此为基础实现三大目标:第一大目标是将同质子模型分析引入集合论,这是一种不同于组合分析的对无穷集合展开分析的基本方法;第二大目标则是建立集合论论域的具有典范作用的内模型——哥德尔可构造集论域,从而证明一般连续统假设和选择公理的相对相容性;第三大目标是建立集合论论域的具有典范意义的外模型——科恩的力迫扩张模型,从而证明连续统假设以及选择公理的相对独立性。这三大目标分为三章分别来实现。在一定意义上讲,每一章体现一种基本方法。这些基本方法是从事集合论研究的基本的方法。
-
目录:
目录
《现代数学基础丛书》序
序言
引言 1
第1章 集合论传递模型 5
1.1 植入逻辑学概念 6
1.1.1 外在形式表达式与解析表达式 8
1.1.2 内置解析表达式真假判定 15
1.1.3 相对解析表达式 18
1.1.4 KP集合理论 19
1.1.5 KP-语言依定义扩展 37
1.1.6 逻辑语法对象之集合表示 52
1.1.7 内在集合模型 57
1.2 内在模型论概要 62
1.2.1 集合论上依定义扩充 62
1.2.2 模型论概要 69
1.2.3 集合论模型 79
1.2.4 相对化解释 85
1.3 模型分析应用:谢旯pcf理论 94
1.3.1 谢旯序数函数偏序空间梯度定理 95
1.3.2 谢旯共尾可能性理论 106
1.4 练习 123
第2章 集合论内模型 127
2.1 可构造集内模型 127
2.1.1 哥德尔集合运算与可构造集公理 137
2.1.2 可构造集合之秩序 169
2.1.3 一般连续统假设 177
2.1.4 L中的组合原理 182
2.1.5 L中的弱紧基数 189
2.2 兼容内模型 195
2.2.1 相对可构造集 195
2.2.2 内模型HOD 200
2.2.3 实数序数可定义集合 204
2.2.4 内模型L(R) 205
2.3 练习 207
第3章 力迫论 211
3.1 力迫基本理论 211
3.1.1 力迫基本概念 211
3.1.2 力迫语言与力迫扩张结构 216
3.1.3 力迫关系 222
3.1.4 内在力迫关系 233
3.1.5 力迫扩张基本定理 249
3.2 连续统假设之独立性 253
3.2.1 添加单个科恩实数 253
3.2.2 添加N2个科恩实数 254
3.2.3 添加不可数基数之子集 267
3.2.4 乘积偏序集 281
3.3 选择公理之独立性 291
3.3.1 偏序集完备嵌入映射 291
3.3.2 选择公理之独立性 296
3.4 马丁公理之合理性 299
3.4.1 一步迭代 300
3.4.2 有限支撑迭代 309
3.4.3 力迫马丁公理与非连续统假设 312
3.5 布尔值模型 317
3.5.1 完备布尔代数 317
3.5.2 布尔值结构 338
3.5.3 布尔值模型VB 345
3.5.4 布尔值模型与偏序力迫扩张 357
3.5.5 完备布尔子代数与泛型扩张子模型 363
3.5.6 完备布尔代数广义分配律 368
3.5.7 可数化 377
3.6 练习 382
索引 387
《现代数学基础丛书》已出版书目 391
查看详情
-
全新
河北省保定市
平均发货29小时
成功完成率85.5%
-
全新
江苏省南京市
平均发货7小时
成功完成率97.87%
-
全新
山东省济宁市
平均发货68小时
成功完成率80.73%
-
全新
北京市丰台区
平均发货23小时
成功完成率88.44%
-
全新
江苏省无锡市
平均发货18小时
成功完成率92.38%
-
全新
湖北省武汉市
平均发货15小时
成功完成率94.93%
-
全新
四川省成都市
平均发货9小时
成功完成率96.85%
-
九五品
北京市东城区
平均发货34小时
成功完成率83.45%
-
全新
北京市丰台区
平均发货8小时
成功完成率90.4%
-
全新
北京市通州区
平均发货9小时
成功完成率88.67%
-
全新
江苏省无锡市
平均发货8小时
成功完成率95.77%
-
全新
山东省泰安市
平均发货23小时
成功完成率85.48%
-
全新
山东省潍坊市
平均发货10小时
成功完成率85.29%
-
九品
河南省郑州市
平均发货11小时
成功完成率95.77%
-
全新
江苏省南京市
平均发货16小时
成功完成率82.78%
-
全新
江苏省南京市
平均发货8小时
成功完成率96.57%
-
全新
江苏省无锡市
平均发货18小时
成功完成率94.5%
-
全新
广东省广州市
平均发货20小时
成功完成率86.5%
-
全新
四川省成都市
平均发货23小时
成功完成率91.02%
-
全新
河北省保定市
平均发货15小时
成功完成率91.16%
-
全新
河北省保定市
平均发货25小时
成功完成率90.25%
-
全新
北京市西城区
平均发货29小时
成功完成率90.35%
-
全新
北京市朝阳区
平均发货9小时
成功完成率96.75%
-
全新
-
全新
天津市河东区
平均发货28小时
成功完成率90.04%
-
全新
北京市顺义区
平均发货14小时
成功完成率94.29%
-
八五品
上海市虹口区
平均发货15小时
成功完成率96.67%
-
[按需印刷]集合论导引(第二卷)
商品标题推荐语带有“按需印刷”字样的商品,全新正版出版社直发。为先下单后生产的绝版书订制服务,生产周期一般为1-3个工作日,按需印刷的 非质量问题,不支持退货的哦,如急用请谨慎下单。按需印刷的书籍均为平装书籍哦,请知悉/:^_^
全新
北京市通州区
平均发货4天内
成功完成率70.94%
-
全新
河北省保定市
平均发货24小时
成功完成率79.89%
-
全新
广东省广州市
平均发货15小时
成功完成率90.21%
-
全新
河北省保定市
平均发货19小时
成功完成率80.99%
-
全新
河北省保定市
平均发货15小时
成功完成率82.49%
-
全新
广东省广州市
平均发货18小时
成功完成率87.79%
-
全新
广东省广州市
平均发货21小时
成功完成率80.21%
-
全新
北京市通州区
平均发货54小时
成功完成率71.94%
-
全新
广东省广州市
平均发货7小时
成功完成率89.95%
-
全新
河北省保定市
平均发货15小时
成功完成率82.13%
-
九五品
安徽省马鞍山市
平均发货14小时
成功完成率94.2%
-
全新
河北省保定市
平均发货9小时
成功完成率79.81%
-
全新
广东省广州市
平均发货9小时
成功完成率87.58%
-
全新
北京市通州区
平均发货38小时
成功完成率51.35%
-
全新
江苏省无锡市
平均发货8小时
成功完成率87.68%
-
全新
四川省成都市
平均发货10小时
成功完成率93.84%
-
全新
江苏省无锡市
平均发货7小时
成功完成率89.19%
-
全新
河北省保定市
平均发货29小时
成功完成率66.92%
-
全新
河北省保定市
平均发货4小时
成功完成率84.07%
-
全新
河北省保定市
平均发货4小时
成功完成率86.34%
-
全新
北京市通州区
平均发货58小时
成功完成率80.88%
-
集合论导引(第二卷)集论模型
集合论导引(第二卷) 3I30j ax预售 介意者慎拍 拍下即表示认可 祝您购物愉快!版次更新不同步 以实际收到书为准
全新
-
集合论导引(第二卷)集论模型
集合论导引(第二卷) 3I30b ax预售 介意者慎拍 拍下即表示认可 祝您购物愉快!版次更新不同步 以实际收到书为准
全新
北京市朝阳区
平均发货45小时
成功完成率78.57%