Itay Neeman, Jind\v rich Zapletal
Proper forcings and absoluteness in $L(\Bbb R)$

Comment.Math.Univ.Carolinae 39,2 (1998) 281-301.

Abstract: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.

Keywords: proper forcing, large cardinals
AMS Subject Classification: 03E55, 03E40