** Math 6010 Spring 2018 **

(back to home)

We will begin the course with an introduction to descriptive set theory. We will
begin by following some course notes which are given below. This will develop the basic
theory of Polish spaces and the main definability hierarchies considered for these spaces.
At the beginning, the subject has a strong overlap with general topology/real analysis,
but as we move along the subject takes on a distinct character. In particular,
logic and set theory begin to enter into the subject in a significant way. Methods from
both logic, recusion theory, and set theory play increasingly important roles
as the subject develops.

After presenting the basic notions, we study the Borel sets, showing
``classical'' results such as every Borel set is either countable of size \( 2^\omega\)
and connecting the \( {\boldsymbol{\Delta}}^0_\alpha \) sets with the difference hierarchy.
We progress past the Borel sets, defining the analytic and co-analytic sets, and more
generally the projective sets. We develop the basic theory of analytic and co-analytic
sets from the modern perspective of scales and Suslin representations. We show how bsic methods
from logic and set theory can be used to obtain results about these sets. We show that as
we progress past this level the main questions start becoming independent of \( \mathsf{ZFC} \),
and thus we must introduce large cardinal/determinacy axioms to progress. As time permits, we
study additional topics in determinacy theory or other areas of descriptive set theory.

Notes on descriptive set theory:
Polish spaces.

Good additional references are "Classical Descriptive Set theory" by A. S. Kechris,
and "Descriptive Set Theory" by Y. N. Moschovakis.