小模幂集，不可数势的单数解

摘要：当 mu 是一个不可数正规基数时。如果 mu > 2^{cf(mu)}，我们证明在 P=([mu]^mu,supseteq) 中作为一个 forcing 符号，我们有 Levy(aleph\_0, mu^+) 的一个自然完全嵌入（因此 P 将 mu^+ 强制折叠到 aleph\_0），甚至是 Levy(aleph\_0, U\_{J^{bd}\_kappa}(mu))。这里的“自然”指的是 forcing 符号({p in [mu]^mu :p closed}, supseteq) 是自然嵌入的，并且等价于 Levy 代数。如果 mu < 2^{cf(mu)}，我们得到了较弱的结果。

作者：Saharon Shelah

论文ID：math/0612243

分类：Logic

分类简称：math.LO

提交时间：2007-05-23

PDF 下载： 英文版 中文版pdf翻译中