Retracted: Baire property and axiom of choice (Q1310425): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q114693417, #quickstatements; #temporary_batch_1704783578975 |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Norbert Brunner / rank | |||
Property / reviewed by | |||
Property / reviewed by: Norbert Brunner / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
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 | |||
links / mardi / name | links / mardi / name | ||
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