Farah, Ilijas2018-03-012018-03-012017-04-212018-03-01http://hdl.handle.net/10315/34266Given a nonunital C*-algebra A one constructs its corona algebra M(A)/A. This is the noncommutative analog of the Cech-Stone remainder of a topological space. We analyze the two faces of these algebras: the first one is given assuming CH, and the other one arises when Forcing Axioms are assumed. In their first face, corona C*-algebras have a large group of automorphisms that includes nondefinable ones. The second face is the Forcing Axiom one; here the automorphism group of a corona C*-algebra is as rigid as possible, including only definable elements.enAuthor owns copyright, except where explicitly noted. Please contact the author directly with licensing requests.LogicElectronic Thesis or Dissertation2018-03-01C*-algebrasSet theoryForcing axioms