| 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. |