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…