探索
探索
讲义
小文章
讨论室
写作
写作
新页面
写作计划
上传文件
搜索
搜索
个人工具
创建账户
登录
通知
名字空间
讲义
讨论
视图
查看
查看源代码
历史
讲义:
集合论进阶 B. 大基数理论导引 (OperatorP)
上一节:
3.4. 应用: 带唯一可测基数的内模型
下一节:
4.1. 钻石原则与不可言说
TeX 导言:
集合论进阶 B. 大基数理论导引 (OperatorP)/preamble
4. 钻石原则与不可言说
我们接下来先来研究两个比可测更弱的大基数要求, 以充实可测基数之下的大基数层谱. 关于定驻集的性质常常与
ZFC
独立, 例如即将介绍的 Jensen 发现的钻石原则. 以下在
ZFC
中工作.