Model Theory of Operator Systems and C${}^{\ast }$-Algebras

Abstract

We survey the model theory of operator systems and C${}^{\ast }$-algebras.

Comments welcome! A finalized version will appear in the volume "Model Theory of Operator Algebras." The manuscript references other contributions to that volume