English

Proper forcing and $L({\mathbb R})$

Logic 2007-05-23 v1

Abstract

We present two ways in which the model L(R)L({\mathbb R}) 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 VV cannot be added to L(R)L({\mathbb R}) by small forcing. The large cardinal needed corresponds to the consistency strength of ADL(R)AD^{L({\mathbb R})}; roughly ω\omega Woodin cardinals.

Keywords

Cite

@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}
}

Comments

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