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 functi...
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 functi...