Model Theory of C* Algebras

Gregory Patchell, University of Waterloo

"Model Theory of Tracial von Neumann Algebras"

This talk is the latest in a series of seminars on the model theory of C*-algebras. This week, we axiomatize tracial von Neumann algebras, tracial factors, and II\textsubscript{1} factors. We define local classes of algebras and determine whether several classes of finite factors are local and/or axiomatizable. We follow Farah, Hart, and Sherman's work in their series of papers titled “Model Theory of Operator Algebras.”

MC 5403