# Recent and upcoming talks by Chris Eagle

## Christopher Eagle: Baire Category and the Omitting Types Theorem

Place: BA6183 Date: July 21 , 2017 (13:30-15:00) Speaker: Christopher Eagle Title: Baire Category and the Omitting Types Theorem Abstract: It is well-known that the Omitting Types Theorem from model theory can be proved by topological means, and the central ingredient of that proof is the Baire Category Theorem.  continue reading…

## 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}$. continue reading…

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

8/March/2013, 13:30–15:00 Fields institute,Room 210 Speaker: Chris Eagle Title: Omitting types in infinitary $[0, 1]$-valued logic. Abstract: In first-order logic many interesting non-elementary classes of mathematical structures can be classified by the types that they realize or omit. continue reading…

## 2013 North American Annual ASL Meeting, May 8 – 11, 2013

2013 ASL North American Annual Meeting Waterloo, Ontario, Canada May 8–May 11, 2013 The invited speakers include: U. Andrews, M. Aschenbrenner, R. Blute, D. Kerr, C. McLarty, D. Sinapova, T. Slaman, M. continue reading…