Michael, what are the "sophisticated compactification techniques" you mention, and where can I find examples of such?

Hi Joel! Thanks! I have the impression I will like it here. See you next week, I guess.

You mention a strategy to get a model with the property for all projective sets but not for all sets in $L(\mathbb{R})$. Is there such a strategy for the better understood cases of having Lebesgue-measure or the Baire property?