Sam Ziegler : A Graph-Theoretic Approach to Descriptive Set Theory

Posted by Sam Ziegler , part of the Louise Hay Logic Seminar.

At

March 7, 2013, 3 p.m.

In

SEO 427

Abstract

We survey a paper of Ben Miller in which the author proves various dichotomy theorems of descriptive set theory using graphs. These proofs are "classical," as opposed to Harrington's proof of Silver's theorem, which uses effective methods (for example). If there is time, other notions from Borel graph theory will be discussed.