Mathematical logic seminar - March 4, 2008

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 first-order logic (FOL) appropriate for structures equipped with a metric. It has been developed in recent years by several researchers including Ben-Yaacov, 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.