An invitation to model theory and C*-algebras

Abstract

We present an introductory survey to first order logic for metric structures and its applications to C*-algebras.