Descriptive set theory

Ch. 1. Basic classical notions

Ch. 2. [kappa]-Suslin and [lambda]-Borel

Ch. 3. Basic notions of the effective theory

Ch. 4. Structure theory for pointclasses

Ch. 5. Constructible universe

Ch. 6. Playful universe

Ch. 7. Recursion theorem

Ch. 8. Metamathematics

Axiomatics of pointclasses.