# 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.  I will present the three most recent candidates, and discuss
issues around definablity in each of those logics.  The main result is
that in the most expressive of these logics, a continuous [0, 1]-valued
function on a complete separable metric structure is definable if and only
if it is automorphism invariant.