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.