Time:  12:00  13:20 
Room: 
Wean Hall 7201

Speaker: 
James Cummings Department of Mathematical Sciences Carnegie Mellon University 
Title:  Strong axioms for P(omega) and P(omega_1)

Abstract: 
An important program in set theory is the search for axioms which are strong enough to settle natural questions about the low levels of the settheoretic universe. I will survey the state of this program. The situation for P(omega) is much better understood than that for P(omega_1), 