Rigidity of Higson coronas

We show that under mild set theoretic hypotheses we have rigidity for algebras of continuous functions over Higson coronas, topological spaces arising in coarse geometry. In particular, we show that under $\mathsf{OCA}$ and $\mathsf {MA}_{\aleph_1}$, if two uniformly locally finite metric spaces $X$ and $Y$ have homeomorphic Higson coronas $\nu X$ and $\nu Y$, then $X$ and $Y$ are coarsely equivalent, a statement which provably does not follow from $\mathsf{ZFC}$ alone.
Comment: 25 pages