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