We show that in the presence of large cardinals proper forcings do not change the theory of 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.
A subset of a topological space is said to be universally measurable if it is measured by the completion of each countably additive σ-finite Borel measure on the space, and universally null if it has measure zero for each such atomless measure. In 1908, Hausdorff proved that there exist universally null sets of real numbers of cardinality ℵ₁, and thus that there exist at least such sets. Laver showed in the 1970’s that consistently there are just continuum many universally null sets of reals....
Page 1