# 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…