Return to Revisions

This is impossible; there is no model of ZFC like that. The reason is that the set of non-measurable sets of reals (or non-Baire sets, respectively) is definable, and moreover $\Sigma_2$ definable; so under the first part of your conditions, it would have a definable member, which would violate the second part of your requirements.