##article.return## On the isomorphism problem for ultraproducts of $\mathrm{C}^*$-algebras in continuous model theory Download Download PDF