Baire property and Axiom of Choice
Logic
2019-08-27 v3
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' ".
Cite
@article{arxiv.math/9211213,
title = {Baire property and Axiom of Choice},
author = {Haim Judah and Saharon Shelah},
journal= {arXiv preprint arXiv:math/9211213},
year = {2019}
}
Comments
Proof has an irreparable gap