Friedman and Schrittesser set out to answer a long-standing question regarding Lebesgue measurability and the Baire property, and how their behavior can differ with respect to sets in the projective hierarchy. Namely, they prove the theorem if ZF...Loe edasi...