Gabriel Conant : Model theory of the Urysohn sphere, part 1

Posted by Isaac Goldbring , part of the Logic Seminar.

At

Sept. 24, 2013, 4 p.m.

In

SEO 427

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.