Effective domain representations of H(X), the space of compact subsets

DOI10.1016/S0304-3975(98)00282-5zbMATH Open0916.68092OpenAlexW2161140220MaRDI QIDQ1292396FDOQ1292396

Authors: 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

Recommendations

• Domain representations of spaces of compact subsets
• Representations of compact subsets of \(\mathbb{R}^n\)
• Representations of the spaces C^m(Ω) ∩ H^{k, p} (Ω)
• scientific article; zbMATH DE number 1064602
• Representations of the spaces \(C^\infty(\mathbb{R}^N)\cap H^{k,p}(\mathbb{R}^N)\)
• scientific article; zbMATH DE number 5365727
• Uniform domain representations of ℓp-spaces
• Representability of locally compact regular spaces by domains and formal spaces
• scientific article; zbMATH DE number 4105831
• Effective subsets under homeomorphisms of \(\mathbb{R}^n\)

zbMATH Keywords

representationsiterated function systemsdomain theorycomputability

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

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

Cited In (8)

• A note on the representability of compact sets by real sequences
• Two categories of effective continuous cpos
• Computability on subsets of metric spaces.
• Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
• Reducibility of domain representations and Cantor–Weihrauch domain representations
• Domain representations of spaces of compact subsets
• Effective subsets under homeomorphisms of \(\mathbb{R}^n\)
• Exact real arithmetic using centred intervals and bounded error terms

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

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