Ben Miller: Forceless, ineffective, powerless proofs of descriptive set-theoretic dichotomy theorems.

Week 2, Friday June 26, 10:15-11:05

Since its inception, the study of definable subsets of the real numbers has been dominated by a variety of structural dichotomy theorems. In recent times, the proofs of these theorems have grown increasingly complex and dependent upon techniques from mathematical logic. We will discuss an approach to giving classical proofs of these results which is motivated by ideas from graph theory.