CMU Campus
Department of         Mathematical Sciences
Events People Colloquia and Seminars Conferences Centers Positions Areas of Research About the Department Alumni
Model Theory Seminar
Christopher Eagle
University of Toronto
Title: Omitting types in infinitary [0, 1]-valued logic

Abstract: We describe an infinitary logic for metric structures which is analogous to $L_{\omega_1, \omega}$. Using topological methods, we prove an omitting types theorem for countable fragments of this logic. We use omitting types, together with an analogue of Scott's theorem, to show that every non-trivial separable quotient of a non-separable Banach space is almost isometric to a quotient of a Banach space of density $\aleph_1$.

Date: Monday, April 22, 2013
Time: 5:00 pm
Location: Wean Hall 8220
Submitted by:  Grossberg