Mathematical logic seminar - September, 2012

Time: 12:00 - 13:20

Room: Wean Hall 7201

Speaker:     James Cummings    
Department of Mathematical Sciences
Carnegie Mellon University

Title: Intermediate models


The goal of this series of talks is to describe and check a scenario (due primarily to Hugh Woodin, with contributions by Andrew Brooke-Taylor, James Cummings , Moti Gitik, Menachem Magidor, Ralf Schindler, and Philip Welch) for a proof of the following theorem: if c is Cohen-generic 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.