Logic Seminar

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 Cech--Stone compactification. The existence of union ultrafilters is known to be independent from the ZFC axioms (due to Hindman and Blass--Hindman), and is known to follow from a number of set-theoretic 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. Speaker(s): David Fernandez-Breton (University of Michigan)