Mathematical logic seminar - March 19 2013

Time: 12:00 - 13:20

Room: Wean Hall 7201

Speaker:     Paul McKenney    
Department of Mathematical Sciences
Carnegie Mellon University

Title: Forcing axioms and the rigidity of corona algebras III

Abstract: In the final talk of this series, I will recap some of the discussion from last time and prove one of the results mentioned; namely I will prove that, assuming Todorcevic's Axiom, every map determined by a coherent family of *-homomorphisms must have a Borel graph.