公理集合论导引

.3.4等价关系
3.5半序与全序关系
3.6线性序拓扑空间
习题
第4章自然数
4.1自然数的定义
4.2 ω上的递归定理
4.3 ω上的算术运算
4.4 ω上的序关系
习题
第5章整数、有理数与实数
5.1整数
5.2有理数
5.3实数
习题
第6章正序集、序数、超限归纳与超限递归
6.1正序集的基本性质
6.2序数的定义与基本性质
6.3正序集与序数的关系
6.4序数的运算
6.5在序数上的递归定理
6.6类、类上的超限归纳与超限递归定理
习题
第7章选择公理及正序化定理
7.1选择公理的表述
7.2正序化定理
7.3选择公理的等价命题
7.4可数序数与不可数序数
习题
第8章等势与基数
8.1集的等势、cantor-bernstein定理
8.2基数的定义
8.3基数运算
8.4共尾性，正则基数与奇异基数
8.5n(aleph)运算
8.6不可达基数
习题
第9章k上的闭无界集、稳定集与pressingdown引理
9.1闭无界集
9.2稳定集
9.3pressingdown引理
第10章集的良基性与基础公理
10.1集的良基性与wf类
10.2基础公理
习题
下篇
第11章几乎互斥族、独立族、△系统与△系统引理
11.1几乎互斥族
11.2独立集族
11.3 a系统与△系统引理
第12章滤子与超滤、完全正则空间的stone-eech紧化
12.1滤子与超滤，
12.2完全正则空间的stone-eech紧化
第13章线性序拓扑空间、树和树拓扑
13.1 lotswl的几个重要性质
13.2 tychonoff板块
13.3树的基本概念、aronsz副n树
13.4 suslin树
13.5树拓扑
第14章连续统假设与弱连续统假设
14.1 lusin集与sierepinski集
14.2 (ω)ω中的集族，p与t
14.3 calibrewl与可分性
14.4弱连续统假设
915章martin公理及其在拓扑学中某些应用
15.1 martin公理的表述
15.2 martin公理推出的几个组合命题
附录集论公理系统的相容性问题
a.1非欧几何相容性的历史回顾
a.2群论的例子
a.3形式系统简介
a.3.1语言
a.3.2句法
a.3.3解释与模型
a.3.4式理论与模型
a.4相对化和绝对性
a.4.1公式的相对化
a.4.2公式的绝对性
a.5有关模型论与相容性的几个核心定理
a.6自然模型
a.7选择公理、连续统假设与zf系统的相容性问题
a.7.1可定义性
k.7.2l的定义
a.8证明zf与ch相容的思路
a.8.1m[g]的构成
a.8.2力迫的概念
a.8.3用有限片段函数进行力迫
参考文献
索引