𝔖 Scriptorium
✦   LIBER   ✦

📁

公理化集合论(纠斜+书签)

✍ Scribed by 张宏裕


Publisher
天津科学技术出版社
Year
2000
Tongue
Chinese
Leaves
456
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Table of Contents


版权
前言
目录
第一编 公理化集合论
第一章 集合论公理系统
1.1 逻辑基础
1.2 集合
1.3 集合的基本运算
1.4 无穷交与无穷并
1.5 笛卡尔积
1.6 关系与函数
1.7 自然数集
1.8 实数集
1.9 良基集
1.10 几个元定理
第二章 序数
2.1 有序集
2.2 良序集
2.3 序数
2.4 序数的算术运算
2.5 类与序数类
2.6 累加分层和秩
2.7 序型
第三章 基数
3.1 对等
3.2 基数
3.3 基数的三岐性
3.4 基数算术
3.5 基数乘幂的基本性质
3.6 正则基数
3.7 奇异基数
第四章 偏序
4.1 树
4.2 树性质
4.3 苏斯林树
4.4 布尔代数
4.5 正则开代数
4.6 链条件
第二编 集论模型
第五章 集论模型的基本属性
5.1 公式的分层
5.2 绝对性
5.3 可满足性的可定义性
5.4 哥德尔第二不完全性定理
5.5 可数模型和史柯伦悖论
第六章 自然模型
6.1 ZC系统的模型
6.2 ZF的自然模型
6.3 H(κ)
6.4 反射原理
第七章 可构成模型
7.1 可构成集
7.2 L是ZF的模型
7.3 可构成性公理
7.4 L⊨AC+GCH
7.5 菱形原则
7.6 相对可构成集
7.7 遗传序数可定义集
第八章 布尔值模型
8.1 布尔值模型的构造
8.2 公代布尔值的计算
8.3 一阶逻辑适用于V^B
8.4 V^B的饱满性
8.5 子代数及布尔值子域
8.6 V^B是ZFC的模型
8.7 脱殊超滤
8.8 V^B的自同构
第九章 脱殊模型
9.1 力迫
9.2 偏序集上的脱殊滤子
9.3 CH与AC的独立性
9.4 乘积力迫
9.5 一次叠代力迫
9.6 苏斯林线独立于ZFC
9.7 爱斯顿乘积
第三编 大基数
第十章 马洛基数
10.1 马洛运算
10.2 对马洛基数的反射原理
第十一章 可测基数
11.1 可测基数
11.2 超幂
11.3 正规超滤
11.4 可测基数与GCH
第十二章 划分基数
12.1 划分基数
12.2 不可分辨集
12.3 罗伯特基数
12.4 讳基数
12.5 弱紧基数
第十三章 不可描述基数
13.1 不可描述基数
13.2 v-不可描述基数
第十四章 紧基数
14.1 无穷语言
14.2 L_{κ,ω}的弱紧性
14.3 强紧基数
14.4 超紧基数
14.5 P_κλ上的组合性质
14.6 Q_κλ上的测度
第十五章 可扩基数
15.1 可扩基数
15.2 巨大基数
第十六章 O^#
16.1 E—M集
16.2 L的初等嵌入
第十七章 叠代超幂
17.1 叠代超幂的构造
17.2 叠代超幂的表示
17.3 可测性与GCH的相对协调性
第十八章 叠代力迫
18.1 叠代力迫的构造
18.2 超紧性蕴涵可测性与¬GCH协调
第十九章 险峻理想
19.1 险峻理想
19.2 脱殊超幂
19.3 险峻理想的性质
19.4 Q_κλ上的险峻理想
第二十章 决定性公理与大基数
20.1 决定性公理
20.2 AD与大基数
参考文献


📜 SIMILAR VOLUMES


集合论(纠斜+书签)
✍ 姜淑珍 📂 Library 📅 2009 🏛 吉林大学出版社 🌐 Chinese

集合论已经成为数学的基础,它的基本观点和方法广泛地渗透到所有数学学科领域,特别是它已成为学习现代数学不可缺少的工具之一。在高等学校许多数学课程中都会涉及到有关集合的知识,出于课程的需要,教师都会讲授一些集合的基本知识。这样,不同的课程里重复讲授有关集合的一些内容,但由于课时所限都讲得不够深入、透彻,又浪费许多宝贵的时间,为此,我们把各门课中重复讲授的内容整合起来,使学生能够在较少的时间内系统地掌握学习现代数学必备的有关集合的基本知识。 考虑到低年级学生的理解能力,本书前四章主要介绍了朴素集合论的基本知识,以给读者学习数学本科各门课程奠定必要的集合论基础;第五章简单地介绍了公理化集合论的几个基

图论(纠斜+书签)
✍ 王朝瑞 📂 Library 📅 2001 🏛 北京理工大学出版社 🌐 Chinese

本书于1981年初版,1987年出版修订本,此次是修订本的再版。 全书有十四章及三个附录。前十章是图的基础知识和基本理论,包括有关图的基本概念、图的基本性质和有关图论中几个活跃的专题。后四章介绍有向图及其应用。有关图论的应用我们放在附录中加以介绍,以不致于分散精力。 本书是一本图论入门书,着重介绍图论的基本内容和基本方法,对图的矩阵表示做了较为详细的介绍。书中有较多的例题和习题,并附有解答。 本书可供高等院校作为教材之用,也可供有关技术人员参考。

抽象代数(纠斜+书签)
✍ 牛凤文 📂 Library 📅 2008 🏛 武汉大学出版社 🌐 Chinese

本书系统地介绍了抽象代数的基本概念、基本技巧和基础知识,共7章。主要内容有群、群同态与商群;环、环同态与商环、域与域的扩张。 本书叙述深入浅出,文字生动活泼;正反例题充实、新颖,有典型性;推理自然、详尽,有启发性;重点突出而难点分散,有张有弛;可供高等师范院校和综合大学教学使用,也可供具有高中毕业以上数学程度的读者自学。

概率论(纠斜+书签)
✍ 应坚刚;何萍 📂 Library 📅 2016 🏛 复旦大学出版社 🌐 Chinese

本书以概率空间和随机变量为主线,力求将概率论的直观思想同严密的数学逻辑结合起来,主要讲述概率论和随机变量的一些基本理论、经典问题,包括一些重要的分布、数学期望、条件概率和独立性、随机变量的各种收敛性以及相互间关系、大数定律、特征函数的方法、中心极限定理等。 本书可作为高等学校理科各专业和其他相关专业的教材,亦可供有关科研人员参考。

组合数学(纠斜+书签)
✍ 曹汝成 📂 Library 📅 2012 🏛 华南理工大学出版社 🌐 Chinese

《组合数学(第2版)》系统地介绍了组合数学的基础知识,包括排列和组合、容斥原理、递推关系、生成函数、整数的分拆、鸽笼原理和Ramsey定理、Polya计数定理等。书中内容丰富,叙述条理清楚,深入浅出,例题多且配备大量习题(计算题均附有答案),便于读者自学。

高等微积分(纠斜+书签)
✍ 高木贞治 📂 Library 📅 2011 🏛 人民邮电出版社 🌐 Chinese

本书以初等函数为重点,介绍了微积分相关的内容,包括微分、积分、无穷级数、傅里叶展开和勒贝格积分等9章内容.作者采用讲义式的叙述方式,把数学看成有生命的东西,让读者有一种别样的新鲜感. 本书是一本经典的微积分教材,原版被日本各大学普遍采用,适合数学专业及其他各理工科专业高年级本科生和低年级研究生用作教材或参考书.