Mathematical logic seminar - Jan 24, 2012

Time: 12:00 - 13:20

Room: Wean Hall 7201

Speaker:     Spencer Unger    
Department of Mathematical Sciences
Carnegie Mellon University

Title: The ineffable tree property I


The ineffable tree property (ITP) is a two cardinal version of the familar tree property for an uncountable regular cardinal. I will discuss the ITP and outline the proofs of some of my recent results about it.