Model-Theoretic Consequences of MIP*=RE

In this talk, we explore some model-theoretic consequences of MIP*=RE, mainly centered around issues regarding (in)effectivity.  For example, we present a Gödelian strengthening of the refutation of the Connes Embedding Problem from MIP*=RE, that is, that there is no effective set of axioms extending the axioms for being a II_1 factor all of whose models embed in the ultrapower of the hyperfinite II_1 factor.  We discuss further illustrations of our methods in regards to C*-algebras with Kirchberg’s QWEP and with the Tsirelson property.  We assume no prior knowledge of logic and discuss the appropriate first-order framework for operator algebras.  Much of the work presented here is joint with Bradd Hart.

Please report video problems to itsupport@slmath.org.

See more of our Streaming videos on our main VMath Videos page.