Borel conjecture

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:category gptkb:descriptive_set_theory
gptkbp:consistency consistent with ZFC if ZFC is consistent
gptkbp:field gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label Borel conjecture
gptkbp:namedAfter gptkb:Émile_Borel
gptkbp:oppositeConsistent its negation is also consistent with ZFC if ZFC is consistent
gptkbp:proposedBy gptkb:Émile_Borel
gptkbp:relatedTo real numbers
strong measure zero set
gptkbp:sentence Every strong measure zero set of real numbers is countable.
gptkbp:status independent of ZFC
gptkbp:yearProposed 1919
gptkbp:bfsParent gptkb:Novikov_conjecture
gptkbp:bfsLayer 5