Prefer a chat interface with context about you and your work?
A survey on the model theory of tracial von Neumann algebras
We survey the developments in the model theory of tracial von Neumann algebras that have taken place in the last 15 years. We discuss the appropriate first-order language for axiomatizing this class as well as the subclass of II1 factors and how modeltheoretic ideas were used to settle a variety …