Date: Thursday, February 15, 2018
Location: 3088 East Hall (4:00 PM to 5:30 PM)
Title: Models of set theory with union ultrafilters and small covering of meagre
Abstract: Union ultrafilters are ultrafilters that arise naturally from Hindman's finite unions theorem, in much the same way that selective ultrafilters arise from Ramsey's theorem, and they are very important objects from the perspective of algebra in the CechStone compactification. The existence of union ultrafilters is known to be independent from the ZFC axioms (due to Hindman and BlassHindman), and is known to follow from a number of settheoretic hypothesis, of which the weakest one is that the covering of meagre equals the continuum (this is due to Eisworth). I will show that such hypothesis is not a necessary condition, by exhibiting a number of different models of ZFC that have a covering of meagre strictly less than the continuum, while at the same time satisfying the existence of union ultrafilters.
Files:
Speaker: David FernandezBreton
Institution: University of Michigan
Event Organizer: David Fernandez Breton logiclist@umich.edu
