Descriptive Set Theory
I'm taking the following route:
- Follow Moschovakis to learn about effective descriptive set theory.
- Then follow Kechris to learn about classical descriptive set theory, in particular the interplay between descriptive set theory and the theory of Polish groups & operator algebra & dynamical systems.
- Then follow Kanaomori's The Higher Infinite to learn about the interaction of descriptive set theory with general set theory.
We assume knowledge of basic recursion theory (the whole of Cutland's book) and standard mathematical logic (first order logic, prenex normal form, etc.).