Forcing with random variables
Moritz Müller · 2013
Text of course announcement Scott and Solovay observed that Cohen’s method of forcing can be interpreted as a method to construct Boolean valued models. Scott proved the independence of CH from a higher order theory of the reals by interpreting first-order variables of the language over random reals, i.e. real valued random variables. The course starts with a review of Scott’s construction and then treats Krajicek’s recent book where such forcing with random variables is developed as a method to construct Boolean valued models for weak theories of arithmetic.