Data: quarta-feira, 01 de outubro de 2014, às 10h30
Sala: 242-A
Palestrante: Omar Selim, IME-USP
Título: Ground model reals in extensions of pathological continuous submeasures
Resumo: I will present a result from my thesis that says that the collection of ground model reals in any forcing extension due to a pathological and continuous submeasure is both Lebesgue null and meagre. This is analogous to the classical results that in the random extension the ground model reals are meagre and in the Cohen extension the ground model reals are Lebesgue null. I will try to give at least one full proof that only assumes forcing as a black box.