Session 32. Set Theory

Various versions of the semifilter trichotomy

Heike Mildenberger, Universität Freiburg, Germany
The semifilter trichotomy says that every upwards closed subset of \([\omega]^\omega\) is either meagre or comeagre or ultra by finite-to-one. I will discuss various models of the semifilter trichotomy.
Print version