An invitation to model theory and C*-algebras

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

An invitation to model theory and C*-algebras

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