Title: An introduction to continuous model theory

Abstract: The first order logic of metric structures is a new and rapidly developing field of mathematical logic. I'll give a basic introduction to this subject which helps to give a "peek under the hood" for the techniques motivating the colloquium talk.

Short Bio: Professor Thomas Sinclair is from Purdue University and works on Von Neumann Algebras, Model Theory of Metric Structures, Operator Systems and Ergodic Theory.