Model theory of $\mathrm{C}^*$-algebras
  We begin the systematic model theoretic study of $\mathrm{C}^*$-algebras using the tools of continuous logic. 
I. Farah, B. Hart, M. Lupini, L. Robert, A. Tikuisis, A. Vignati and   W. Winter
math.LO math.OA