Proper forcing and L(R).

Authors
Neeman, I Zapletal, J
Citation
I. Neeman et J. Zapletal, Proper forcing and L(R)., J SYMB LOG, 66(2), 2001, pp. 801-810
Citations number
9
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF SYMBOLIC LOGIC
ISSN journal
00224812 → ACNP
Volume
66
Issue
2
Year of publication
2001
Pages
801 - 810
Database
ISI
SICI code
0022-4812(200106)66:2<801:PFAL>2.0.ZU;2-G
Abstract
We present two ways in which the model L(W) is canonical assuming the exist ence of large cardinals. We show that the theory of this model. with ordina l parameters, cannot be changed by small forcing: we show further that a se t of ordinals in V cannot be added to L(R) by small forcing. The large card inal needed corresponds to the consistency strength of AD(L(R)): roughly om ega Woodin cardinals.