c.c.c. forcing的必要极大性原理与弱紧基数等价

摘要：c.c.c. forcing中的必要极大性原理声称，在一个c.c.c.扩张中，任何关于实数的陈述，如果在进一步的c.c.c.扩张中可能变为真，并在所有随后的c.c.c.扩张中保持真，那么它已经在包含该实数的最小扩张中为真。我们证明这个原理与弱紧基数的存在一样一致。

作者：Joel David Hamkins (The City University of New York) and W. Hugh Woodin (UC Berkeley)

论文ID：math/0403165

分类：Logic

分类简称：math.LO

提交时间：2007-05-23

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