Logic Seminar
Martin Koerwien
UIC
A Borel reducibility theory for classes of countable structures.
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.
Monday February 25, 2008 at 4:00 PM in SEO 427