收藏 分享(赏)

1995_01 公理集论_10201405.pdf

上传人:fydodygffhjjrfjik 文档编号:7035873 上传时间:2022-08-31 格式:PDF 页数:205 大小:4.60MB
下载 相关 举报
1995_01 公理集论_10201405.pdf_第1页
第1页 / 共205页
1995_01 公理集论_10201405.pdf_第2页
第2页 / 共205页
1995_01 公理集论_10201405.pdf_第3页
第3页 / 共205页
1995_01 公理集论_10201405.pdf_第4页
第4页 / 共205页
1995_01 公理集论_10201405.pdf_第5页
第5页 / 共205页
亲,该文档总共205页,到这儿已超出免费预览范围,如果喜欢就下载吧!
资源描述

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的独立性参考书目练习提示或解答名词汇总符号汇总

展开阅读全文
相关资源
相关搜索
资源标签

当前位置:首页 > 教育专区 > 大学资料

本站链接:文库   一言   我酷   合作


客服QQ:2549714901微博号:文库网官方知乎号:文库网

经营许可证编号: 粤ICP备2021046453号世界地图

文库网官网©版权所有2025营业执照举报