Proper Forcings and Absoluteness in L(\Bbb R)
Paul Larson, Itay Neeman, Jindřich Zapletal · Bulletin of Symbolic Logic · 2002
We show that in the presence of large cardinals proper forcings do not change the theory of LR 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.