Projective measure without projective Baire

DOI10.1090/MEMO/1298MaRDI QIDQ6248521arXivFDO

Authors Sy-David Friedman, David Schrittesser

Publication date 27 January 2014

Published in arXiv

Full work available at URL https://doi.org/10.1090/MEMO/1298

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Descriptive set theory (03E15) Consistency and independence results (03E35)

arXiv classification

math.LO

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 $Delt{a}_3^1$ set without the Baire property. The complexity of the set which provides a counterexample to the Baire property is optimal.

This page was built for publication: Projective measure without projective Baire

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6248521)