Reducibility of domain representations and Cantor–Weihrauch domain representations
DOI10.1017/S0960129508007093zbMATH Open1166.03020OpenAlexW2118881621MaRDI QIDQ3545272FDOQ3545272
Publication date: 10 December 2008
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129508007093
reducibilitydomain representationcomputable analyisScott-Ershov domain, directed-complete partial order
Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55) Higher-type and set recursion theory (03D65) Constructive and recursive analysis (03F60)
Cites Work
- A computational model for metric spaces
- Domain representations of topological spaces
- Title not available (Why is that?)
- Domain theory and integration
- Equilogical spaces
- Topological and limit-space subcategories of countably-based equilogical spaces
- Domain representability of metric spaces
- Exact real arithmetic using centred intervals and bounded error terms
- Concrete models of computation for topological algebras
- Abstract versus concrete computation on metric partial algebras
- Dynamical systems, measures, and fractals via domain theory
- Theorie der Numerierungen I
- Extended admissibility.
- Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
- Algebraic and fixed point equations over inverse limits of algebras
- Embedding metric spaces into CPO's
- Complete local rings as domains
- Theorie Der Numerierungen III
- Real number computability and domain theory
- Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets
- Uniform domain representations of ℓp-spaces
- Density theorems for the domains-with-totality semantics of dependent types
Cited In (7)
- Domain representations of spaces of compact subsets
- Countability constraints in order-theoretic approaches to computability
- Stability of representations of effective partial algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Domain representability of retracts
- Title not available (Why is that?)
Recommendations
- Computable Reducibility for Cantor Space 👍 👎
- Domain representability of retracts 👍 👎
- Uniform reducibility of representability problems for algebraic structures 👍 👎
- Title not available (Why is that?) 👍 👎
- The degree structure of Weihrauch-reducibility 👍 👎
- Title not available (Why is that?) 👍 👎
- Monotone Reducibility Over the Cantor Space 👍 👎
- Reducibility of the wavelet representation associated to the Cantor set 👍 👎
- Domain representable spaces and completeness 👍 👎
- Reduction maps and minimal model theory 👍 👎
This page was built for publication: Reducibility of domain representations and Cantor–Weihrauch domain representations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3545272)
