Though descriptive set theory and definable proper forcing are two areas of set theory that developed quite independently of each other, there are deep connections to be made between them. This monograph explores these links, and many examples of forcing notions appear, from measure theory, dynamical systems, and other fields.