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

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