Borel's conjecture and meager-additive sets

DOI10.1090/PROC/15536arXiv2012.02396WikidataQ113822975 ScholiaQ113822975MaRDI QIDQ6355288FDOQ6355288

Authors: Daniel Calderón 

Publication date: 3 December 2020

Abstract: We prove that it is relatively consistent with $mathrmZFC$ that every strong measure zero subset of the real line is meager-additive while there are uncountable strong measure zero sets (i.e., Borel's conjecture fails). This answers a long-standing question due to Bartoszy'nski and Judah.

Mathematics Subject Classification ID

Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Descriptive set theory (03E15) Consistency and independence results (03E35) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

This page was built for publication: Borel's conjecture and meager-additive sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6355288)