集合论导引

冯琦，中科院数学与系统科学研究院研究员，中国科学院大学岗位教授。1988年在美国宾州州立大学获博士学位。曾任新加坡国立大学讲师、高级讲师，并获永久教职。1997年底从新加坡国立大学辞职到中科院数学所任研究员。曾任中科院数学所副所长(1999-2002)。曾任德国柏林洪堡大学MerCator客座教授。主要从事数理逻辑和公理化集合论研究。在关于实数集正则性研究领域曾同国际上著名的数学家Magidor, Woodin两人一道做出过开创性的奠基性的工作；在无穷组合理论方面做出过非常优秀的结果；在大基数和印证原理研究方面做出过一系列的非常精彩的工作；在连续统假设的研究工作中同国际上著名的数学家Woodin合作做出过十分复杂的工作；在内模型理论研究领域同国际上著名的数学家Jensen 合作构造出一个相当复杂的内模型。2000年获国家基金委杰出青年基金资助。200...

(展开全部)

冯琦，中科院数学与系统科学研究院研究员，中国科学院大学岗位教授。1988年在美国宾州州立大学获博士学位。曾任新加坡国立大学讲师、高级讲师，并获永久教职。1997年底从新加坡国立大学辞职到中科院数学所任研究员。曾任中科院数学所副所长(1999-2002)。曾任德国柏林洪堡大学MerCator客座教授。主要从事数理逻辑和公理化集合论研究。在关于实数集正则性研究领域曾同国际上著名的数学家Magidor, Woodin两人一道做出过开创性的奠基性的工作；在无穷组合理论方面做出过非常优秀的结果；在大基数和印证原理研究方面做出过一系列的非常精彩的工作；在连续统假设的研究工作中同国际上著名的数学家Woodin合作做出过十分复杂的工作；在内模型理论研究领域同国际上著名的数学家Jensen 合作构造出一个相当复杂的内模型。2000年获国家基金委杰出青年基金资助。2003年入选中科院百人计划。曾是国家基金委重点项目主持人。曾任国际符号逻辑协会东亚分会理事长，并于2004年年底当选为国际符号逻辑协会理事。

目录
《现代数学基础丛书》序
序言
引言 1
第1章 集合论传递模型 5
1.1 植入逻辑学概念 6
· · · · · · (更多)

目录
《现代数学基础丛书》序
序言
引言 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
· · · · · · (收起)