Martin Koerwien : A Borel reducibility theory for classes of countable structures.

Posted by , part of the Logic Seminar.

At

Feb. 25, 2008, 4 p.m.

In

SEO 427

Abstract

This is the first of two talks about the descriptive set theoretic notion of Borel Reducibility and in particular its applications to model theory. We begin by a brief exposition of the links to one of the outstanding conjectures in logic, Vaught's Conjecture, and then give an overview over some basic results, and some of the results presented in the paper "A Borel Reducibility Theory for Classes of Countable Structures" (H. Friedman and L. Stanley, JSL 54(3), 1989). Later on (probably in the second talk), we will give an introduction to so-called essentially countable equivalence relations.

Tea at 4, talk shortly thereafter.