CMU Campus
Department of         Mathematical Sciences
Events People Colloquia and Seminars Conferences Centers Positions Areas of Research About the Department
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
Submitted by:  Grossberg