Logic Seminar
Caroline Terry
UIC
Model theory of the Urysohn sphere, part 2
Abstract: In classical model theory, the strong order property hierarchy is used to stratify the non-simple theories without the strict order property. This is the first of two talks in which we discuss the (non-simple) theory of the Urysohn sphere, viewed as a metric structure in continuous model theory. We will define the continuous version of the strong order property, place the Urysohn sphere in this hierarchy, and finally give a characterization of forking independence.
Tuesday October 1, 2013 at 4:00 PM in SEO 427