  We are interested in sets of reals that are “definable” or “built up from below by simple operations.” We shall discuss three central regions of the hierarchy of definability—the Borel sets of reals, the projective sets of reals, and the sets of reals in L(ℝ). 