Model Theory Seminar
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.
Time: 5:00 pm
Location: Wean 8220