The authors prove that it is consistent (relative to a Mahlo cardinal) that all projective sets of reals are Lebesgue measurable, but there is a $\Delta^1_3$ set without the Baire property. The complexity of the set which provides a counterexample to the Baire property is optimal.
ISBN: | 9781470442965 |
Publication date: | 30th March 2021 |
Author: | Sy David Friedman, David Schrittesser |
Publisher: | American Mathematical Society |
Format: | Paperback |
Pagination: | 267 pages |
Series: | Memoirs of the American Mathematical Society |
Genres: |
Mathematical logic |