Abstract
We show that without using inaccessible cardinals it is possible to get models of “ZF+all sets of reals have the Baire property +DC(ω1)” and “ZFC+all projective sets have the Baire property+the union of less than ω2 many meager sets is meager”, answering two well-known open questions of Woodin and Judah, respectively.
Similar content being viewed by others
Change history
27 October 2020
I hereby retract the paper [1] as the proof has an irreparable gap.
References
[Jec] T. Jech,Set Theory, Academic Press, New York, 1978.
[JS1] H. Judah and S. Shelah,Martin's axioms, measurability and equicosistency results, J. Symbolic Logic54 (1989), 78–94.
[JS2] H. Judah and S. Shelah,Souslin forcing, J. Symbolic Logic53 (1988), 1188–1207.
[JuR] H. Judah and A. Roslanowski,On Shelah's amalgamation, to appear inSet Theory of Reals, Proceedings of Bar-Ilan Conference in honour of Prof. Abraham Fraenkel, Bar-Ilan University, 1991.
[Rai] J. Raisonnier,A mathematical proof of S. Shelah's theorem on the measure problem and related results, Isreal J. Math.48 (1984), 48–56.
[She] S. Shelah,Can you take Solovay's inaccessible away?, Israel J. Math.48 (1984), 1–47.
[Sol] R. Solovay,A model of set theory in which every set of reals is Lebesgue measurable, Ann. of Math.92 (1970), 1–56.
Author information
Authors and Affiliations
Additional information
The authors would like to thank the Israel Academy of Sciences BSF for partial support.
The second author would like to thank the Landau Center for Mathematical Analysis, supported by the Minerva Foundation (Germany).
Rights and permissions
About this article
Cite this article
Judah, H., Shelah, S. Baire property and axiom of choice. Israel J. Math. 84, 435–450 (1993). https://doi.org/10.1007/BF02760952
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02760952