Logic Seminar
C. Ward Henson
UIUC
Highly homogeneous metric structures
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.
Tuesday February 24, 2009 at 4:00 PM in SEO 612