# Paul McKenney: Forcing axioms and the rigidity of corona algebras III

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.