Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets

DOI10.1016/S0304-3975(98)00282-5zbMath0916.68092OpenAlexW2161140220MaRDI QIDQ1292396

Jens Blanck

Publication date: 21 June 1999

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(98)00282-5

zbMATH Keywords

representationscomputabilityiterated function systemsdomain theory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (6)

Two categories of effective continuous cpos ⋮ Computability on subsets of metric spaces. ⋮ Reducibility of domain representations and Cantor–Weihrauch domain representations ⋮ Domain representations of spaces of compact subsets ⋮ Exact real arithmetic using centred intervals and bounded error terms ⋮ Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Domain representability of metric spaces
• A computational model for metric spaces
• Domain representations of topological spaces
• Dynamical systems, measures, and fractals via domain theory
• Power domains and iterated function systems
• Real number computability and domain theory
• A note on computable real fields
• A Powerdomain Construction
• Spaces in which sequences suffice
• Computable Fields and Arithmetically Definable Ordered Fields

This page was built for publication: Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets