3.4. 应用: 带唯一可测基数的内模型


需补充.

取自 “https://www.bananaspace.org/w/index.php?title=讲义:集合论进阶_B._大基数理论导引_(OperatorP)/超幂构造与可测基数/应用:_带唯一可测基数的内模型&oldid=26358”