恰当力迫与 $L({\mathbb R})$
逻辑
2007-05-23 v1
摘要
我们给出在假设大基数存在时模型 具有规范性的两种方式。我们证明该模型的理论,带(序数的)参数,不能被小力迫改变;我们进一步证明 中的一个序数集不能被小力迫添加到 中。所需的大基数对应于 的一致性强度;大致为 个 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)