Time:  12  1:20 p.m. 
Room: 
WH 5304

Speaker: 
James Cummings Department of Mathematical Sciences Carnegie Mellon University 
Title: 
Generic ultrapowers

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 nonstationary for distinct α,β < ω_{2}. Assume that NS_{ω1} is ω_{2}saturated and force with it to obtain a Vgeneric filter G. Then,
