Proper forcing and l(ℝ)

Journal of Symbolic Logic 66 (2):801-810 (2001)
  Copy   BIBTEX

Abstract

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 AD L (R); roughly ω Woodin cardinals

Other Versions

original Larson, Paul B.; Neeman, Itay; Zapletal, Jindrich (2002) "Proper Forcings and Absoluteness in LProper Forcing and L". Bulletin of Symbolic Logic 8(4):548

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,099

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The largest countable inductive set is a mouse set.Mitch Rudominer - 1999 - Journal of Symbolic Logic 64 (2):443-459.
Characterising subsets of ω1 constructible from a real.P. D. Welch - 1994 - Journal of Symbolic Logic 59 (4):1420 - 1432.
Proper forcing extensions and Solovay models.Joan Bagaria & Roger Bosch - 2004 - Archive for Mathematical Logic 43 (6):739-750.
The independence of.Amir Leshem & Menachem Magidor - 1999 - Journal of Symbolic Logic 64 (1):350-362.
Proper forcing and remarkable cardinals.Ralf-Dieter Schindler - 2000 - Bulletin of Symbolic Logic 6 (2):176-184.
Collapsing functions.Ernest Schimmerling & Boban Velickovic - 2004 - Mathematical Logic Quarterly 50 (1):3-8.

Analytics

Added to PP
2009-01-28

Downloads
67 (#356,239)

6 months
23 (#149,162)

Historical graph of downloads
How can I increase my downloads?