Pages that link to "Item:Q1164416"
From MaRDI portal
The following pages link to Embedding metric spaces into CPO's (Q1164416):
Displaying 41 items.
- Domain representability of metric spaces (Q674414) (← links)
- An application of a representation theorem for fuzzy metrics to domain theory (Q679766) (← links)
- Distance domains: continuity (Q831143) (← links)
- Lawson topology of the space of formal balls and the hyperbolic topology (Q949625) (← links)
- Hyperbolic topology of normed linear spaces (Q1041647) (← links)
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding (Q1127524) (← links)
- A computational model for metric spaces (Q1127525) (← links)
- Embedding metric spaces into CPO's (Q1164416) (← links)
- A domain-theoretic approach to computability on the real line (Q1274807) (← links)
- Concrete models of computation for topological algebras (Q1292413) (← links)
- Computation by `While' programs on topological partial algebras (Q1292414) (← links)
- Weighted colimits and formal balls in generalized metric spaces (Q1295210) (← links)
- Computation on metric spaces via domain theory (Q1295303) (← links)
- Representability of locally compact regular spaces by domains and formal spaces (Q1391747) (← links)
- Constructive metrisability in point-free topology. (Q1427775) (← links)
- Some points in formal topology. (Q1427787) (← links)
- Domain representations of topological spaces (Q1583255) (← links)
- Yoneda completion via a dcpo completion of its poset of formal balls (Q1744459) (← links)
- On topological spaces that have a bounded complete dcpo model (Q1747336) (← links)
- Computability on computable metric spaces (Q1802069) (← links)
- A category of compositional domain-models for separable Stone spaces. (Q1853606) (← links)
- Extension of valuations on locally compact sober spaces (Q1862060) (← links)
- Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains (Q2052570) (← links)
- Kantorovich-Rubinstein quasi-metrics. III: Spaces of sublinear and superlinear previsions (Q2087781) (← links)
- The monad on strong quasi-metric spaces (Q2120964) (← links)
- Quasi-continuous Yoneda complete quasi-metric space (Q2130612) (← links)
- Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces (Q2215622) (← links)
- Distances, diameters and verisimilitude of theories (Q2277436) (← links)
- Formal ball monads (Q2312469) (← links)
- Maximal point spaces of dcpos satisfying the Lawson condition (Q2405089) (← links)
- Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations (Q2664100) (← links)
- Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks (Q2700792) (← links)
- Can partial indexings be totalized? (Q2758051) (← links)
- Reducibility of domain representations and Cantor–Weihrauch domain representations (Q3545272) (← links)
- Domains for Computation in Mathematics, Physics and Exact Real Arithmetic (Q4382500) (← links)
- Computable and Continuous Partial Homomorphisms on Metric Partial Algebras (Q4650302) (← links)
- Pointless metric spaces (Q5753195) (← links)
- Formal balls of Q-categories (Q5889203) (← links)
- The Xi-Zhao model of \(T_1\)-spaces (Q6044443) (← links)
- T-complete KM-fuzzy metric spaces via domain theory (Q6058097) (← links)
- Local Yoneda completions of quasi-metric spaces (Q6174092) (← links)
