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 8220 Submitted by: Grossberg |