Logic Seminar
Isaac Goldbring
UIC
An update on the Connes Embedding Problem and model theory
Abstract: The Connes Embedding Problem (CEP) asks whether or not every separable II_1 factor embeds into an ultrapower of the hyperfinite II_1 factor R. In last year's seminar, I showed how a negative solution to the CEP would follow from showing that Th(R) is model complete. In this talk, I will show that Th(R) is not model complete, destroying the aforementioned plan to settle CEP. However, I will then explain a new model-theoretic connection with CEP, namely that CEP is equivalent to every type II_1 algebra having a computable universal theory. The first part of the talk is part of joint work with Ilijas Farah, Bradd Hart, and David Sherman while the second part of the talk is joint work with Bradd Hart.
Tuesday April 8, 2014 at 4:00 PM in SEO 427