Descriptive set theory and forcing how to prove theorems about Borel sets the hard way - Miller, Arnold W. (Lecture notes in logic, 1995)