Scott topology

GPTKB entity

Statements (20)
Predicate Object
gptkbp:instanceOf gptkb:topology
gptkbp:appliesTo partially ordered set
gptkbp:characterizedBy inaccessibility by directed suprema
upper sets
gptkbp:definedIn dcpo
gptkbp:hasProperty gptkb:T0_separation_axiom
https://www.w3.org/2000/01/rdf-schema#label Scott topology
gptkbp:introducedIn 1970s
gptkbp:namedAfter gptkb:Dana_Scott
gptkbp:notNecessarily gptkb:Hausdorff
gptkbp:relatedTo gptkb:order_theory
continuous lattice
specialization preorder
gptkbp:usedFor modeling computation
gptkbp:usedIn gptkb:logic
theoretical computer science
denotational semantics
domain theory
gptkbp:bfsParent gptkb:Dana_Scott
gptkbp:bfsLayer 5