Retracted: Baire property and axiom of choice (Q1310425): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / arXiv ID | |||
Property / arXiv ID: math/9211213 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3852172 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Martin's axioms, measurability and equiconsistency results / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Souslin forcing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A mathematical proof of S. Shelah's theorem on the measure problem and related results / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Can you take Solovay's inaccessible away? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A model of set-theory in which every set of reals is Lebesgue measurable / rank | |||
Normal rank |
Latest revision as of 12:10, 22 May 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