Mathematical logic seminar - Sep 3 2019

Time: 3:30pm - 4:30 pm

Room: Wean Hall 8220

Speaker:     James Cummings    
Department of Mathematical Sciences
CMU

Title: Extender based forcing

Abstract:

Extender based forcing is a blanket term for a wide class of forcing constructions which can be used to control the combinatorics of singular cardinals. I will describe a very simple extender based forcing and give some applications.