The gamma - Borel conjecture

In this paper we show that it is relatively consistent with ZFC that every gamma-set is countable while not every strong measure zero set is countable. This answers a question of Paul Szeptycki. A set is a gamma-set iff every omega-cover contains a gamma-subcover. An open cover is an omega-cover iff every finite set is covered by some element of the cover. An open cover is a gamma-cover iff every element of the space is in all but finitely many elements of the cover. Gerlits and Nagy proved that every gamma-set has strong measure zero. We also show that is consistent that every strong gamma-set is countable while there exists an uncountable gamma-set. On the other hand every strong measure zero set is countable iff every set with the Rothberger property is countable.

Abstract licence: CC0

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.