Projective measure without projective Baire

David Schrittesser, Sy David Friedman

Abstract

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 pages141
Publication statusAccepted/In press - 2020
SeriesMemoirs of the American Mathematical Society
ISSN0065-9266

Fingerprint

Dive into the research topics of 'Projective measure without projective Baire'. Together they form a unique fingerprint.

Cite this