Mathematical logic seminar - March 18 2014

Time: 12:00 - 13:20

Room: Wean Hall 7201

Speaker:     James Cummings    
Department of Mathematical Sciences
Carnegie Mellon University

Title: The tree property and some variations


The tree property is a property of large cardinal type which can consistently hold of small cardinals such as omega_2. I will discuss the tree property and some variations, plus connections with large cardinals and forcing axioms.