MATH 7820: Logic Seminar Spring 2013
Instructor: Clinton Conley
The seminar will have two components. Typically, one day each week will be devoted to outside speakers and locals (students as well as faculty) speaking about their own work or related topics. The second day will be devoted to a fixed topic, which students will present. My current thoughts are that the topic will be structurability properties of Borel equivalence relations. Of particular interest is class of treeable equivalence relations: those which can be realized as the connectedness relation of an acyclic Borel graph. Related to this is Gaboriau’s theory of cost, which provides an impressively rigid and useful invariant, as well as many interesting open problems.