Retracted: Baire property and axiom of choice (Q1310425): Difference between revisions

The authors improve Shelah's theorem [Israel J. Math. 48, 1-47 (1984; Zbl 0596.03055)] about the consistency strength of BP: ``All sets of reals have the Baire property'' as follows: Without using inaccessible cardinals it is possible to prove the relative consistency of \(\text{BP}+\text{DC}^{\omega_ 1}\) (dependent choice for \(\omega_ 1\)-sequences) with ZF. To this end they construct a model \(\mathcal M\) of ZFC such that in \(\mathcal M\) every projective set of reals has the Baire property and any union of \(\omega_ 1\) meager sets is meager. The authors note, that \(\omega_ 1\) may be replaced by larger cardinals and they give credit to Woodin and Judah for posing the problems. Editorial remark: The paper has been retracted [\textit{S. Shelah}, Isr. J. Math. 240, No. 1, 443 (2020; Zbl 1473.03031)] as the proof has an irreparable gap.