中文

恰当力迫与 $L({\mathbb R})$

逻辑 2007-05-23 v1

摘要

我们给出在假设大基数存在时模型 L(R)L({\mathbb R}) 具有规范性的两种方式。我们证明该模型的理论,带(序数的)参数,不能被小力迫改变;我们进一步证明 VV 中的一个序数集不能被小力迫添加到 L(R)L({\mathbb R}) 中。所需的大基数对应于 ADL(R)AD^{L({\mathbb R})} 的一致性强度;大致为 ω\omega 个 Woodin 基数。

关键词

引用

@article{arxiv.math/0003027,
  title  = {Proper forcing and $L({\mathbb R})$},
  author = {Itay Neeman and Jindrich Zapletal},
  journal= {arXiv preprint arXiv:math/0003027},
  year   = {2007}
}

备注

14 pages, includes Appendix (pp. 10--13)