Proper forcing and $L({\mathbb R})$
逻辑
2007-05-23 v1
摘要
We present two ways in which the model is canonical assuming the existence of large cardinals. We show that the theory of this model, with {\em ordinal} parameters, cannot be changed by small forcing; we show further that a set of ordinals in cannot be added to by small forcing. The large cardinal needed corresponds to the consistency strength of ; roughly Woodin cardinals.
引用
@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)