C. Ward Henson : Highly homogeneous metric structures

Posted by , part of the Logic Seminar.

At

Feb. 24, 2009, 4 p.m.

In

SEO 612

Abstract

In general, this talk is about separable metric structures whose theories in continuous logic are $\omega$-categorical and admit quantifier-elimination. There are several interesting examples that arose "in nature." There are good characterizations of $\omega$-categoricity (when the signature is countable) and of QE. The Fraisse construction has a natural extension to the metric setting and it has produced a few more examples. Moreover, there are lots of interesting open questions. In particular, the classification program that has generated so much interesting mathematics in the classical setting has not yet been taken up in a serious way.

seminar begins with tea.