This survey is motivated by specific questions arising in the similarities and contrasts between (Baire) category and (Lebesgue) measure - category-measure duality and non-duality, as it were. The bulk of the text is devoted to a summary, intended for the working analyst, of the extensive background in set theory and logic needed to discuss such matters: to quote from the Preface of Kelley [Kel]: "what every young analyst should know"
