Logic Seminar
James Cummings
CMU
A super-Dowker filter
Abstract: A super-Dowker filter is a filter F on a set X such that
1) For every sequence of F-large sets there are x,y distinct with x in A_y and y in A_x
2) For every partition of X into two parts there exist a sequence as in 1) and a cell of the partition such that all pairs as in 1) lie in this cell
Building on work of Balogh and Gruenhage we show the consistency of the existence of a super-Dowker filter.
Tuesday September 8, 2015 at 4:00 PM in SEO 427