Projective measure without projective Baire

Sy Friedman, David Schrittesser

We prove that it is consistent (relative to a Mahlo cardinal) that all projective sets of reals are Lebesgue measurable, but there is a ${\Delta }_3^1$ set without the Baire property. The…