Model theory of operator algebras II: Model theory

Ilijas Farah, Bradd Hart, David Sherman

We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to th…