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

Speaker: 
James Cummings Department of Mathematical Sciences Carnegie Mellon University 
Title: 
Intermediate models

Abstract: 
The goal of this series of talks is to describe and check a scenario (due primarily to Hugh Woodin, with contributions by Andrew BrookeTaylor, James Cummings , Moti Gitik, Menachem Magidor, Ralf Schindler, and Philip Welch) for a proof of the following theorem: if c is Cohengeneric over L, then there is a transitive class model M intermediate between L and L[c] which is not of the form L(A) for any A. 