Definable closure in randomizations - Uri Andrews; Isaac Goldbring; H. Jerome Keisler (2013)