Souslin's hypothesis

GPTKB entity

Statements (14)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:alternativeName Souslin's problem
gptkbp:concerns real line
ordered sets
gptkbp:field gptkb:set_theory
gptkbp:formedBy 1920
https://www.w3.org/2000/01/rdf-schema#label Souslin's hypothesis
gptkbp:namedAfter gptkb:Mikhail_Yakovlevich_Souslin
gptkbp:relatedTo gptkb:continuum_hypothesis
Souslin line
gptkbp:state Every complete, dense, linear order without endpoints in which every family of disjoint open intervals is countable is order-isomorphic to the real line
gptkbp:status independent of ZFC
gptkbp:bfsParent gptkb:set-theoretic_topology
gptkbp:bfsLayer 6