摘要：有界马丁最大性（BMM）成立时，每个集合都包含在具有强基数的内模型中。这回答了一些人提出的问题。由此可见，BMM的一致性强度要比有界半适当的强制公理（BSPFA）高得多。
作者：Ralf Schindler
论文ID：math/0305047
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中