Isaac Goldbring : Existentially closed C* algebras and a conjecture of Kirchberg

Posted by Isaac Goldbring , part of the Departmental Colloquium.

At

Feb. 7, 2014, 3 p.m.

In

SEO 636

Abstract

The notion of existentially closed structure is a model-theoretic generalization of the notion of algebraically closed field. A common goal in model theory is to try and understand the existentially closed objects of some axiomatizable category. In this talk, I will explain an interesting connection between the search for an existentially closed C* algebra with a certain important property (namely exactness) and a conjecture of Kirchberg concerning the ultrapower of the Cuntz algebra $\mathcal{O}_2$. All relevant model theoretic and C* algebraic notions will be defined.