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

I. Farah, B. Hart, M. Lupini +4

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