Model theory of $\mathrm{C}^*$-algebras

Abstract

We begin the systematic model theoretic study of $\mathrm{C}^*$-algebras using the tools of continuous logic.

To appear in Memoirs of the Amer. Math. Soc