# Christopher Eagle: Omitting types in infinitary [0, 1]-valued logic

MONDAY, April 22, 2013

MODEL THEORY SEMINAR: 5:00 P.M., WeH 8220, 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$.