Projective measure without projective Baire

Research output: Book/ReportBookResearchpeer-review

  • Sy David 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 ∆13 set without the Baire property. The complexity of the set which provides a counterexample to the Baire property is optimal.
Original languageEnglish
PublisherAmerican Mathematical Society
Number of pages150
ISBN (Print)9781470442965
Publication statusPublished - 2020
SeriesMemoirs of the American Mathematical Society
Volume267
ISSN0065-9266

ID: 188759426