Haim Judah, Saharon Shelah
Published 1992-11-15, updated 2019-07-24Version 2
We show that (1) If ZF is consistent then the following theory is consistent "ZF + DC(omega_{1}) + Every set of reals has Baire property" and (2) If ZF is consistent then the following theory is consistent "ZFC + `every projective set of reals has Baire property' + `any union of omega_{1} meager sets is meager' ".
Comments: Proof not correct
Journal: Israel J. Math. 84 (1993), 435--450
Meager Sets, Games and Singular Cardinals
On cofinality of the smallest covering of the real line by meager sets II
NF is Consistent
![QR code for arXiv:math/9211213 [math.LO]](http://oss.arxitics.com/images/favicon.svg)