Forcing axioms and coronas of -algebras
arXiv:1806.09676 · doi:10.1142/S0219061321500069
Abstract
We prove rigidity results for large classes of corona algebras, assuming the Proper Forcing Axiom. In particular, we prove that a conjecture of Coskey and Farah holds for all separable -algebras with the metric approximation property and an increasing approximate identity of projections.
71 pages, appeared online in Journal of Mathematical Logic (Online version)