Model theory of operator algebras II: Model theory - Ilijas Farah; Bradd Hart; David Sherman (2010)