Recent and upcoming talks by Chris Eagle

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…