Domain representations of spaces of compact subsets

DOI10.1017/S096012950999034XMaRDI QIDQ3559968zbMATH OpenOpenAlexFDO

Authors Ulrich Berger, Jens Blanck, Petter Kristian Køber

Publication date 17 May 2010

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s096012950999034x

zbMATH Keywords

domain representation of a topological spacemetric spacesPlotkin powerdomainrepresentable compact setssubspace of compact subsets

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Categorical methods in general topology (54B30) Compactness (54D30) Metric spaces, metrizability (54E35)

Recommendations

• Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets
• Domain representations of topological spaces
• scientific article; zbMATH DE number 1231640
• Domain representations induced by dyadic subbases
• Representability of locally compact regular spaces by domains and formal spaces

Cites work

• Comparing Cartesian closed categories of (core) compactly generated spaces
• Continuous Lattices and Domains
• Domain representability of metric spaces
• Domain representations of topological spaces
• Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets
• scientific article; zbMATH DE number 107999 (Why is no real title available?)
• Reducibility of domain representations and Cantor–Weihrauch domain representations

Cited in

(16)

• Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets
• Complements of domains with respect to hulls of outside compact sets
• Representability of locally compact regular spaces by domains and formal spaces
• Domain representations of topological spaces
• Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
• Representation of bifinite domains by BF-closure spaces
• Uniform domains and uniform spaces (abstract)
• scientific article; zbMATH DE number 5365727 (Why is no real title available?)
• scientific article; zbMATH DE number 1231570 (Why is no real title available?)
• scientific article; zbMATH DE number 1231640 (Why is no real title available?)
• Compact metric spaces as minimal-limit sets in domains of bottomed sequences
• Domain representability of retracts
• Domain representations induced by dyadic subbases
• Domain-representable spaces
• Semi-domain representations of topological spaces
• Closed subsets of the domain whose image has the dimension of the range

This page was built for publication: Domain representations of spaces of compact subsets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3559968)