《集合论导引（第二卷）》 - 台灣·大書城 - 冯琦 - 科学出版社

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　聯絡我們　 \|　運費計算　 \|　幫助中心　\|　加入書簽
		會員登入新用戶註冊

HOME

新書上架

暢銷書架

好書推介

2024年度TOP

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

『簡體書』集合论导引（第二卷）

書城自編碼： 3464499
分類：簡體書→大陸圖書→自然科學→數學
作者：冯琦
國際書號(ISBN)： 9787030636225
出版社：科学出版社
出版日期： 2020-01-01

頁數/字數： /
書度/開本： 16开釘裝：平装胶订

售價：NT$ 1008

我要買件

** 我創建的書架 **
未登入.

新書推薦：

《帝国的生意商业、政治与英国东印度公司的诞生（一部展现公司与国家交织共生的扩张史）》
售價：NT$ 500.0

《十日终焉7：极道》
售價：NT$ 245.0

《 AI应用革命（用AI将所有产业重做一遍。覆盖20+行业场景，分析新生玩家生存法则，构建高效商业新模式）》
售價：NT$ 398.0

《抗日战争：1937—1945 》
售價：NT$ 704.0

《理想国译丛072：欧洲告急：丘吉尔、奥威尔与自由之战》
售價：NT$ 500.0

《 AI风暴：中美博弈与全球新秩序（创新中国书系）》
售價：NT$ 352.0

《吃对一日三餐远离阿尔茨海默病》
售價：NT$ 296.0

《布鲁克林有棵树（纽约公共图书馆20世纪重要的著作之一）》
售價：NT$ 356.0

建議一齊購買：

NT$ 828
《集合论导引（第一卷）》

NT$ 1188
《集合论导引（第三卷）》

NT$ 706
《数理逻辑基础（下册）》

NT$ 1426
《数理逻辑导引》

NT$ 1110
《黎曼几何（第二版）》

NT$ 972
《美国数学会经典影印系列：极小曲面教程（英文版）》

內容簡介：

本卷是集合论的模型分析部分. 在*卷的基础上, 本卷的主要任务是将逻辑植入集合论之中, 并以此为基础实现三大目标：最大目标是将同质子模型分析引入集合论, 这是一种不同于组合分析的对无穷集合展开分析的基本方法; 第二大目标则是建立集合论论域的具有典范作用的内模型——哥德尔可构造集论域, 从而证明一般连续统假设和选择公理的相对相容性; 第三大目标是建立集合论论域的具有典范意义的外模型——科恩的力迫扩张模型, 从而证明连续统假设以及选择公理的相对独立性.

目录
《现代数学基础丛书》序
序言
引言 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 内模型LR 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

書城介紹　 \|　合作申請　\|　索要書目　 \|　新手入門　\|　聯絡方式　 \|　幫助中心　\|　找書說明　 \|　送貨方式　\|　付款方式	台灣用户　\|　香港/海外用户

megBook.com.tw
Copyright (C) 2013 - 2025 （香港）大書城有限公司　All Rights Reserved.