摘要:每个同源 Souslin 集都是共析的,前提是:要么(a) 不存在 0^long,要么(b) V=K ,其中 K 是一个 mu-可测基数下的核心模型。
作者:Peter Koepke and Ralf Schindler
论文ID:math/0305265
分类:Logic
分类简称:math.LO
提交时间:2007-05-23
PDF 下载: 英文版 中文版pdf翻译中