More on trees and Cohen reals, part 2
Mittwoch, 15.1.20, 16:30-17:30, Raum 404, Ernst-Zermelo-Str. 1
The talk is a continuation of the topic developed by Brendan\nStuber-Rousselle during the previous Oberseminar, and it is based on our\njoint work. I will go into more details showing how the presence of a Cohen\nreal affects the nature of the ideals of P-nowhere dense and P-meager sets,\nand I will sketch out a proof of the general theorem stating that when a\ntree-forcing P adds Cohen reals under certain reasonable assumption and F is\na well-sorted family of subsets of reals, then P-measurability for all sets\nin F implies the Baire property for all sets in F. If there will be any time\nleft, I will also provide more details about some basic properties of the\nvariant of Mathias forcing introduced in our paper.
More on trees and Cohen reals, part 2
Mittwoch, 15.1.20, 16:30-17:30, Raum 404, Ernst-Zermelo-Str. 1
The talk is a continuation of the topic developed by Brendan\nStuber-Rousselle during the previous Oberseminar, and it is based on our\njoint work. I will go into more details showing how the presence of a Cohen\nreal affects the nature of the ideals of P-nowhere dense and P-meager sets,\nand I will sketch out a proof of the general theorem stating that when a\ntree-forcing P adds Cohen reals under certain reasonable assumption and F is\na well-sorted family of subsets of reals, then P-measurability for all sets\nin F implies the Baire property for all sets in F. If there will be any time\nleft, I will also provide more details about some basic properties of the\nvariant of Mathias forcing introduced in our paper.