Neeman, Itay; Zapletal, Jindřich Proper forcings and absoluteness in \(L(\mathbb R)\). (English) Zbl 0939.03054 Commentat. Math. Univ. Carol. 39, No. 2, 281-301 (1998). Summary: We show that in the presence of large cardinals proper forcings do not change the theory of \({L({\mathbb 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. Cited in 5 Documents MSC: 03E55 Large cardinals 03E40 Other aspects of forcing and Boolean-valued models Keywords:proper forcing; large cardinals PDF BibTeX XML Cite \textit{I. Neeman} and \textit{J. Zapletal}, Commentat. Math. Univ. Carol. 39, No. 2, 281--301 (1998; Zbl 0939.03054) Full Text: EuDML OpenURL