Model theory of operator algebras

Continuous model theory is an extension of classical first order logic which is best suited for classes of structures which are endowed with a metric.

Applications have grown considerably in the past decade.

This book is dedicated to showing how the techniques of continuous model theory are used to study C*-algebras and von Neumann algebras.

This book geared to researchers in both logic and functional analysis provides the first self-contained collection of articles surveying the many applications of continuous logic to operator algebras that have been obtained in the last 15 years.