# Enoch Cheung: Omitting Types and Approximately Finite (AF) Algebras.

Model Theory Seminar

Enoch Cheung

Carnegie Mellon University

Title:  Omitting Types and Approximately Finite (AF) Algebras.

Abstract:  The main topic of this talk is the characterization of separable Uniformly Hyper Fine  (UHF) algebra  and AF algebras via omitting certain types. Important classes of separable C*-algebras, such as UHF, AF or nuclear algebras, are not elementary, but positive result for the characterization of separable UHF and AF algebras as metric structures suggests that we may be able to apply model theoretic methods to study them.

This talk will discuss model theory for metric structures, in particular C*-algebras, and cover the types we need to omit to get a UHF or AF algebra. We will also show that every separable unital UHF algebra is a prime model.

This is joint work with Kevin Carlson,  Ilijas Farah, Alexander Gerhardt-Bourke, Bradd Hart, Leanne Mezuman, Nigel Sequeira and Alexander Sherman.
Date: Monday, September 23, 2013
Time: 5:00 pm
Location: Wean 8220

This site uses Akismet to reduce spam. Learn how your comment data is processed.