1、General Information书名=1995.01 公理集论作者=汪芳庭页数=197SS号=10201405出版日期=1995年01月第1版前言目录1 集论的公理化 11 ZF系统的形式语言 12 外延公理与内涵公理 13 无序对与有序对 14 并集公理与幂集公理 15 关系与映射2 序数 21 偏序、全序与良序 22 序数及其性质 23 无限公理与自然数集3 替换公理与基础公理 31 替换公理,序型 32 类On上的超限归纳法 33 序数的运算 34 良基集 35 基础公理4 基数 41 等势 42 基数 43 集的基数 44 良序定理,选择公理 45 基数与选择公理有关的性质 46
2、 基数的加、乘运算 47 基数的指数运算,连续统假设 48 共尾数5 相对无矛盾性 51 再谈集论的形式语言 52 模型的形式处理 53 公式的绝对性 54 ZF相对于ZF-的无矛盾性6 可构成集,连续统假设的相对无矛盾性 61 良基似集关系上的超限归纳法 62 再谈公式的绝对性 63 反身定理 64 可定义关系 65 可构成集 66 可构成公理相对于ZF的无矛盾性 67 选择公理相对于ZF的无矛盾性 68 连续统假设相对于ZFC的无矛盾性7 力迫法,连续统假设的相对独立性 71 再谈偏序 72 ZFC的模型的兼纳扩张 73 力迫法 74 拟不交族及可数反链条件 75 连续统假设相对于ZFC的独立性参考书目练习提示或解答名词汇总符号汇总