Projective Measure Without Projective Baire

ISBN-13: 9781470442965

Sy David Friedman;David Schrittesser

Opis

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.