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 |