Time:  12:00  13:20 
Room: 
Porter Hall A 19 D

Speaker: 
James Cummings Department of Mathematical Sciences Carnegie Mellon University 
Title: 
Continuous model theory

Abstract:  ``Continuous first order logic'' (CFO) is a generalisation of firstorder logic (FOL) appropriate for structures equipped with a metric. It has been developed in recent years by several researchers including BenYaacov, Henson, and Usvyatsov. CFO satisfies many of the pleasant properties of FOL. This talk will contain a brisk introduction to CFO, together with many examples of the kind of structures in which it can be used. 