Processing math: 100%

Logic Seminar

Justin Moore Cornell University
Uniform ultrafilters on ω1 and PFA, part 2.

Friday, March 14, 2025 - 2:55pm
Malott 205

An ultrafilter on a cardinal κ is uniform if it contains every cobounded subset of κ. The aim of this talk is to examine the Tukey order on the uniform ultrafitlers on ω1. We show that it is consistent that every uniform ultrafilter on ω1 is Tukey equivalent to the finite subsets of 2ω1, ordered by containment---the maximum possible Tukey type of a directed set of cardinality 2ω1. We will also show that PFA implies that Todorcevic's ultrafilter UT associated to a coherent Aronszajn T has maximum Tukey complexity.
This is joint work with Luke Serafin and Tom Behamou.