Focuses on the relationship between definable forcing and descriptive set theory; the forcing serves as a tool for proving independence of inequalities between cardinal invariants of the continuum.