Retracted: Baire property and axiom of choice (Q1310425): Difference between revisions
From MaRDI portal
Created a new Item |
Created claim: Wikidata QID (P12): Q114693417, #quickstatements; #temporary_batch_1704783578975 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q114693417 / rank | |||
Normal rank |
Revision as of 09:02, 9 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Retracted: Baire property and axiom of choice |
scientific article |
Statements
Retracted: Baire property and axiom of choice (English)
0 references
3 January 1994
0 references
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.
0 references
relative consistency
0 references
projective set of reals
0 references
Baire property
0 references
meager sets
0 references