{ "id": "math/9211213", "version": "v2", "published": "1992-11-15T00:00:00.000Z", "updated": "2019-07-24T18:03:26.000Z", "title": "Baire property and Axiom of Choice", "authors": [ "Haim Judah", "Saharon Shelah" ], "comment": "Proof not correct", "journal": "Israel J. Math. 84 (1993), 435--450", "categories": [ "math.LO" ], "abstract": "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' \".", "revisions": [ { "version": "v1", "updated": "1992-11-15T00:00:00.000Z", "abstract": "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' ''.", "comment": null, "doi": null }, { "version": "v2", "updated": "2019-07-24T18:03:26.000Z" } ], "analyses": { "keywords": [ "baire property", "consistent", "meager sets" ], "tags": [ "journal article" ], "note": { "typesetting": "TeX", "pages": 0, "language": "en", "license": "arXiv", "status": "editable", "adsabs": "1992math.....11213J" } } }