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: 104,026

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.
Collapsing functions.Ernest Schimmerling & Boban Velickovic - 2004 - Mathematical Logic Quarterly 50 (1):3-8.
Proper forcing and remarkable cardinals.Ralf-Dieter Schindler - 2000 - Bulletin of Symbolic Logic 6 (2):176-184.

Analytics

Added to PP
2009-01-28

Downloads
64 (#356,086)

6 months
21 (#143,295)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Generalizations of the Kunen inconsistency.Joel David Hamkins, Greg Kirmayer & Norman Lewis Perlmutter - 2012 - Annals of Pure and Applied Logic 163 (12):1872-1890.
Incompatible bounded category forcing axioms.David Asperó & Matteo Viale - 2022 - Journal of Mathematical Logic 22 (2).
Inner models and ultrafilters in l(r).Itay Neeman - 2007 - Bulletin of Symbolic Logic 13 (1):31-53.
Supercompactness Can Be Equiconsistent with Measurability.Nam Trang - 2021 - Notre Dame Journal of Formal Logic 62 (4):593-618.

View all 6 citations / Add more citations

References found in this work

Inner models with many Woodin cardinals.J. R. Steel - 1993 - Annals of Pure and Applied Logic 65 (2):185-209.

Add more references