Recent and upcoming talks by Chris Eagle

50 Years of Set Theory in Toronto, Fields institute, May 13-17, 2019

50 Years of Set Theory in Toronto, May 13-17, 2019 This conference will celebrate  the 50th anniversary of the Toronto Set Theory Seminar. Its purpose is to introduce and/or survey contemporary work in the areas currently investigated by Seminar members. continue reading…

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…

Chris Eagle: Definability in infinitary [0, 1]-valued logic

Place: Fields Institute (Room 210) Date: November 13th, 2015 (13:30-15:00) Speaker: Chris Eagle Title: Definability in infinitary [0, 1]-valued logic Abstract: In recent years there have been several proposals for the “right” analogue of the infinitary logic $L_{\omega_1, \omega}$ for metric structures.  continue reading…

Christopher Eagle: Model theory of abelian real rank zero C*-algebras

27 June 2014, 13:30–15:00 Fields institute, Room 210 Speaker: Christopher Eagle Title: Model theory of abelian real rank zero C*-algebrasAbstract: We consider algebras of the form $C(X)$, where $X$ is a $0$-dimensional compact Hausdorff space, from the point of view of continuous model theory.  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…