A new tool for constructing nuclear C*-algebras

By combining old and new tools from model theory one can give unified proofs of various permanence properties for C*-algebras defined by approximation properties. These tools also provide new constructions of C*-algebras with prescribed properties. I will introduce logic of metric structures and the machinery for omitting types used in these constructions. 

This is a report on work in progress with several coauthors, including B. Hart, M. Lupini, M. Magidor, L. Robert,  A. Tikuisis, and W. Winter.

Please note the strange room assignment (S11, on the ground floor in the D building). We may elect to move to one of the auditoriums if they turn out to be available after all.