Domain representability of metric spaces
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4094358 (Why is no real title available?)
- scientific article; zbMATH DE number 42077 (Why is no real title available?)
- scientific article; zbMATH DE number 107999 (Why is no real title available?)
- scientific article; zbMATH DE number 3531305 (Why is no real title available?)
- scientific article; zbMATH DE number 821282 (Why is no real title available?)
- scientific article; zbMATH DE number 3230252 (Why is no real title available?)
- scientific article; zbMATH DE number 3200656 (Why is no real title available?)
- A note on computable real fields
- Algebraic and fixed point equations over inverse limits of algebras
- Complete local rings as domains
- Computable Fields and Arithmetically Definable Ordered Fields
- Domain representability of metric spaces
- Embedding metric spaces into CPO's
- Logic colloquium 76. Proceedings of a conference held in Oxford in July 1976
- On the definitions of computable real continuous functions
- Recursive metric spaces
- Total sets and objects in domain theory
Cited in
(37)- Recursive quasi-metric spaces.
- Internal Density Theorems for Hierarchies of Continuous Functionals
- Domain representability of metric spaces
- Computable and Continuous Partial Homomorphisms on Metric Partial Algebras
- Metric spaces and FS-domains
- Domain-representable spaces
- scientific article; zbMATH DE number 1678391 (Why is no real title available?)
- Metric properties of domains in \(\mathbb{C}^n\)
- Two categories of effective continuous cpos
- A computational model for metric spaces
- Computable Banach spaces via domain theory
- Domain representations of topological spaces
- Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets
- Domain representable spaces defined by strictly positive induction
- Representability of locally compact regular spaces by domains and formal spaces
- Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
- A constructive and functorial embedding of locally compact metric spaces into locales
- Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
- Logical Approaches to Computational Barriers
- Reducibility of domain representations and Cantor–Weihrauch domain representations
- Domain representations of spaces of compact subsets
- Can partial indexings be totalized?
- Effectiveness in RPL, with applications to continuous logic
- Extension of valuations on locally compact sober spaces
- scientific article; zbMATH DE number 1746033 (Why is no real title available?)
- scientific article; zbMATH DE number 5365727 (Why is no real title available?)
- Concrete models of computation for topological algebras
- Computation by `While' programs on topological partial algebras
- Domain representability of retracts
- A domain-theoretic approach to computability on the real line
- Uniform domain representations of ℓp-spaces
- The quasi-metrizability of hyperspaces
- Exact real arithmetic using centred intervals and bounded error terms
- Effectivity and effective continuity of multifunctions
- Lawson topology of the space of formal balls and the hyperbolic topology
- Domination by metric spaces
- Some results related to the continuity problem
This page was built for publication: Domain representability of metric spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q674414)
