Proper Forcing and L(r)

@inproceedings{Neeman2008ProperFA,
  title={Proper Forcing and L(r)},
  author={Itay Neeman and Jindrich Zapletal},
  year={2008}
}
We present two ways in which the model L(R) is canonical assuming the existence of large cardinals. We show that the theory of this model, with ordinal parameters, cannot be changed by small forcing; we show further that a set of ordinals in V cannot be added to L(R) by small forcing. The large cardinal needed corresponds to the consistency strength of ADL(R); roughly ω Woodin cardinals. 

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
3 Extracted Citations
8 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.

Referenced Papers

Publications referenced by this paper.
Showing 1-8 of 8 references

forcing axioms

  • W. H. Woodin. The axiom of determinacy
  • and the non-stationary ideal. de Gruyter,
  • 1999
1 Excerpt

Iteration trees

  • John Steel.
  • J . Amer . Math . Soc .
  • 1994

Math

  • D. A. Martin, John Steel. Iteration trees. J. Amer
  • Soc., 7(1):1–73,
  • 1994
2 Excerpts

Multiple forcing

  • Thomas Jech
  • Cambridge University Press,
  • 1987
1 Excerpt

Set Theory

  • Thomas Jech
  • Academic Press,
  • 1978
1 Excerpt

Similar Papers

Loading similar papers…