scientific article
From MaRDI portal
Publication:3359391
zbMath0733.54024MaRDI QIDQ3359391
Publication date: 1991
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
quasi-metric spacestotally bounded spacescompact ordered spacesVietoris hyperspacePlotkin power domain
Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Semantics in the theory of computing (68Q55) Uniform structures and generalizations (54E15)
Related Items (34)
Partial metric monoids and semivaluation spaces ⋮ Spectral sets ⋮ A characterisation of weightable quasi-metric generating functions ⋮ Constructing a quasi-uniform function space ⋮ On a theorem of Khan in a generalized metric space ⋮ Quasi-uniform completeness in terms of Cauchy nets ⋮ Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding ⋮ Continuity spaces: Reconciling domains and metric spaces ⋮ Limiting semantics of numerical programs ⋮ Remarks on hyperspaces for Priestley spaces ⋮ The complexity probabilistic quasi-metric space ⋮ Applications of utility functions defined on quasi-metric spaces ⋮ DS-partial metric spaces and domain theory ⋮ Sequence spaces and asymmetric norms in the theory of computational complexity. ⋮ Ordered fractal semigroups as a model of computation ⋮ Generalized metrics and uniquely determined logic programs. ⋮ A characterization of partial metrizability: Domains are quantifiable. ⋮ Semi-Lipschitz functions and best approximation in quasi-metric spaces ⋮ Semi-metrics, closure spaces and digital topology ⋮ A faithful computational model of the real numbers ⋮ Elements of generalized ultrametric domain theory ⋮ Applications of the complexity space to the general probabilistic divide and conquer algorithms ⋮ Approximation in quantale-enriched categories ⋮ Weightable quasi-metric semigroups and semilattices ⋮ A coalgebraic view on positive modal logic ⋮ Quasi-metrics and monotone normality ⋮ The correspondence between partial metrics and semivaluations ⋮ Weighted colimits and formal balls in generalized metric spaces ⋮ Bicompleting weightable quasi-metric spaces and partial metric spaces ⋮ The Smyth Completion ⋮ Fixed point theorems for fuzzy mappings in quasi-metric spaces ⋮ A note on some fundamental results in complete gauge spaces and application ⋮ Extension of valuations on locally compact sober spaces ⋮ On the Yoneda completion of a quasi-metric space
This page was built for publication:
