加载中…
We prove that it is consistent (relative to a Mahlo cardinal) that all projective sets of reals are Lebesgue measurable, but there is a set without the Baire property. The complexity of the set which provides a counterexample to the Baire property is optimal.

生成讲解博客的中文版本

生成AI智能校验的中文版本