| Title:
|
Proper forcings and absoluteness in $L(\Bbb R)$ (English) |
| Author:
|
Neeman, Itay |
| Author:
|
Zapletal, Jindřich |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
39 |
| Issue:
|
2 |
| Year:
|
1998 |
| Pages:
|
281-301 |
| . |
| Category:
|
math |
| . |
| Summary:
|
We show that in the presence of large cardinals proper forcings do not change the theory of $L(\Bbb R)$ with real and ordinal parameters and do not code any set of ordinals into the reals unless that set has already been so coded in the ground model. (English) |
| Keyword:
|
proper forcing |
| Keyword:
|
large cardinals |
| MSC:
|
03E40 |
| MSC:
|
03E55 |
| idZBL:
|
Zbl 0939.03054 |
| idMR:
|
MR1651950 |
| . |
| Date available:
|
2009-01-08T18:40:36Z |
| Last updated:
|
2012-04-30 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/119006 |
| . |
| Reference:
|
[BJW] Beller A., Jensen R.B., Welch P.: Coding the Universe.Oxford University Press Oxford (1985). MR 0645538 |
| Reference:
|
[FM] Foreman M., Magidor M.: Large cardinals and definable counterexamples to the continuum hypothesis.Ann. Pure Appl. Logic 76 (1995), 47-97. Zbl 0837.03040, MR 1359154 |
| Reference:
|
[FMS] Foreman M., Magidor M., Shelah S.: Martin's Maximum, saturated ideals and nonregular ultrafilters.Ann. Math. 127 (1988), 1-47. Zbl 0645.03028, MR 0924672 |
| Reference:
|
[HV] Hájek P., Vopěnka P.: The Theory of Semisets.North Holland Amsterdam (1972). MR 0289286 |
| Reference:
|
[J] Jech T.: Set Theory.(1978), Academic Press New York. Zbl 0419.03028, MR 0506523 |
| Reference:
|
[JMMP] Jech T., Magidor M., Mitchell W.J., Prikry K.: Precipitous ideals.J. Symbolic Logic 45 (1980), 1-8. Zbl 0437.03026, MR 0560220 |
| Reference:
|
[M] Moschovakis Y.N.: Descriptive Set Theory.(1980), North Holland Amsterdam. Zbl 0433.03025, MR 0561709 |
| Reference:
|
[MS] Martin D.A., Steel J.R.: A proof of projective determinacy.J. Amer. Math. Soc. 2 71-125 (1989). Zbl 0668.03021, MR 0955605 |
| Reference:
|
[NZ] Neeman I., Zapletal J.: Proper forcing and $L(\Bbb R)$.J. London Math. Soc. submitted. |
| Reference:
|
[S] Schimmerling E.: handwritten notes of W.H. Woodin's lectures.. |
| Reference:
|
[Sh] Shelah S.: Proper Forcing.Springer Verlag Berlin (1981), Lecture Notes in Math. 940. MR 0675955 |
| Reference:
|
[W1] Woodin W.H.: Supercompact cardinals, sets of reals and weakly homogeneous trees.Proc. Natl. Acad. Sci. USA 85 (1988), 6587-6591. Zbl 0656.03037, MR 0959110 |
| Reference:
|
[W2] Woodin W.H.: The axiom of determinacy, forcing axioms and the nonstationary ideal.to appear. Zbl 0954.03046, MR 1713438 |
| . |
