Mathematical logic seminar - Mar 28, 2011

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)


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 set-theoretic universe. I will survey the state of this program. The situation for P(omega) is much better understood than that for P(omega_1),