The Borel conjecture
type: Item
instance of: scholarly article
title: The Borel conjecture
zbMATH Open document ID: 0717.03020
DOI: 10.1016/0168-0072(90)90058-A
author: Haim Judah
author: S. Shelah
author: W. Hugh Woodin
published in: Annals of Pure and Applied Logic
publication date: 1990-01-01T00:00:00Z
review text: A subset X of \({\mathbb{R}}\) has strong measure zero if for every sequence \(\epsilon_ 0,\epsilon_ 1,\epsilon_ 2,..\). of positive reals there exists a sequence \(I_ 0,I_ 1,I_ 2,..\). of open intervals such that, for each \(i<\omega\), \(length(I_ i)<\epsilon_ i\) and \(X\subseteq \cup_{i\in \omega}I_ i.\) In 1919, E. Borel conjectured that every strong measure zero subset of \({\mathbb{R}}\) is (at most) countable. In 1928, W. Sierpinski remarked that the set constructed by N. Lusin in 1914 on the assumption of the continuum hypothesis (an uncountable subset of \({\mathbb{R}}\) having countable intersection with each first category set) has strong measure zero. In 1976, R. Laver showed that Borel's conjecture is consistent, if Zermelo- Fraenkel set theory is consistent. In the model he obtained for forcing, the cardinality of \({\mathbb{R}}\) is \(\aleph_ 2.\) The authors show that Borel's conjecture is also consistent with assumptions saying that the continuum is ``large''. This requires a forcing technique different from the ``countable support iteration technique'' used by Laver. The authors show that ``adding random reals'' to the Laver model preserves the Borel conjecture. Their result improves earlier unpublished results by the third author.
Mathematics Subject Classification ID: 03E35
zbMATH DE Number: 4181322
zbMATH Keywords: strong measure zero subsets of the reals
zbMATH Keywords: consistency
zbMATH Keywords: large continuum
zbMATH Keywords: forcing
zbMATH Keywords: random reals
zbMATH Keywords: Laver model
zbMATH Keywords: Borel conjecture
reviewed by: Wim Veldman
Wikidata QID: Q123352748
MaRDI profile type: MaRDI publication profile
cites work: Q3037420
cites work: On the Generic Existence of Special Ultrafilters
cites work: Generalized Iteration of Forcing
cites work: Strong measure zero sets and rapid filters
cites work: Souslin forcing
cites work: \(\Delta^ 1_ 2\)-sets of reals
cites work: On the consistency of Borel's conjecture
cites work: There are no Q-Points in Laver's Model for the Borel Conjecture
cites work: Proper forcing
Recommended article: Q4432267
Recommended article: The \(\gamma\)-Borel conjecture
Recommended article: Borel conjecture and dual Borel conjecture
Recommended article: ON THE BOREL THEOREM
Recommended article: On conjectures of Mathai and Borel
Recommended article: Q3983791
Recommended article: Bressoud's conjecture
Recommended article: Q3692004
Recommended article: Q4255124
Recommended article: Q4843481
description: scientific article; zbMATH DE number 4181322