Time:  12:30  13:30 
Room: 
Wean Hall 7201

Speaker: 
James Cummings Department of Mathematical Sciences CMU 
Title: 
Forcing ∀ ∃ statements

Abstract: 
We often find ourselves needing to force assertions of the general form "for every x there exists y...." where typically x and y are subsets of some regular cardinal κ We will consider three general cases (of increasing difficulty)
