Isaac Goldbring : The theory of tracial von Neumann algebras does not have a model companion

Posted by Lynn Scow , part of the Logic Seminar.

At

Nov. 27, 2012, 4 p.m.

In

SEO 427

Abstract

In this talk, we will show that the theory of tracial von Neumann algebras does not have a model companion. In addition, we will show that a positive solution to the Connes Embedding Problem implies that there is no model complete theory of tracial von Neumann algebras. All functional analytic notions and most model-theoretic notions will be defined. This is joint work with Bradd Hart and Thomas Sinclair.