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 ZFC together with "there exists a Mahlo cardinal" is consistent, then so is ZFC together with the conjunction of the two statements Every projective set is Lebesgue measurable; and There is a projective set without the Baire property. Annotation ©2021 Ringgold, Inc., Portland, OR (protoview.com)
