David Schrittesser,哈尔滨工业大学

In this talk, I will give some of the context and a sketch of the proof of the following result which I proved a while ago: It is consistent (relative to a Mahlo catrdinal) that there is a projective set without the Baire property, yet every projective set is Lebesgue measurable. I will explain the history of the problem, some of the main difficulties encountered in the proof, as well as how they were solved. I will also comment on how this result is related to some open questions.