Domain representations of spaces of compact subsets

DOI10.1017/S096012950999034XzbMath1197.06003OpenAlexW2090143809MaRDI QIDQ3559968

Jens Blanck, Ulrich Berger, 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

metric spacesPlotkin powerdomaindomain representation of a topological spacerepresentable compact setssubspace of compact subsets

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Domain representability of metric spaces
• Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets
• Domain representations of topological spaces
• Comparing Cartesian closed categories of (core) compactly generated spaces
• Reducibility of domain representations and Cantor–Weihrauch domain representations
• Continuous Lattices and Domains

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