Suslin line

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:topology
gptkbp:category gptkb:set_theory
gptkb:topology
gptkb:order_theory
gptkbp:hasProperty totally ordered
no uncountable family of pairwise disjoint open intervals
complete order
dense order
no countable dense subset
no separable suborder
https://www.w3.org/2000/01/rdf-schema#label Suslin line
gptkbp:namedAfter gptkb:Mikhail_Yakovlevich_Suslin
gptkbp:relatedTo gptkb:Suslin's_problem
real line
gptkbp:status existence is independent of ZFC
gptkbp:bfsParent gptkb:Mikhail_Suslin
gptkb:Suslin's_problem
gptkb:Suslin_rigidity_theorem
gptkbp:bfsLayer 7