Scifaro

中文

BMM 强于 BSPFA

逻辑 2007-05-23 v1

作者: Ralf Schindler

在 arXiv 上查看 ↗ PDF ↗

摘要

本文证明了若 BMM（=有界 Martin 极大原理）成立，则每个集合都包含于一个具有强基数（strong cardinal）的内模型之中。这回答了多人曾提出的一个问题。由此推得，BMM 的一致性强度远大于 BSPFA（=有界半真强制公理）。

关键词

有界 Martin 极大原理有界半真强制公理内模型强基数一致性强度

引用

@article{arxiv.math/0305047,
  title  = {BMM is stronger than BSPFA},
  author = {Ralf Schindler},
  journal= {arXiv preprint arXiv:math/0305047},
  year   = {2007}
}