Departmental Colloquium
Benjamin Miller
Forceless, ineffective, powerless proofs of descriptive set-theoretic dichotomy theorems
Abstract: 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
grow increasingly complex and dependent upon
techniques from mathematical logic. After giving a
brief history of the subject, I will discuss a new
approach to giving classical proofs of these results
which is motivated by ideas from graph theory.
Friday April 24, 2009 at 3:00 PM in SEO 636