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 |