|Time:|| 12 - 1:20 p.m.
Department of Mathematical Sciences
Carnegie Mellon University
|Abstract:||The speaker will finish going over prerequisites for the upcoming
Appalachian set theory workshop, starting with:
Define NSω1 to be ω2-saturated if there is no sequence of stationary sets, Sα for α<ω2, such that Sα∩Sβ is non-stationary for distinct α,β < ω2.
Assume that NSω1 is ω2-saturated and force with it to obtain a V-generic filter G. Then,