A computational model for metric spaces

DOI10.1016/S0304-3975(96)00243-5zbMath1011.54026MaRDI QIDQ1127525

Publication date: 13 August 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

Metric spaces, metrizability (54E35) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Special maps on metric spaces (54E40) Continuous lattices and posets, applications (06B35) Set functions and measures on topological spaces (regularity of measures, etc.) (28C15)

Related Items

On some topological properties of dcpo models of \(T_1\) topological spaces, On the domain of formal balls of the Sorgenfrey quasi-metric space, The monad on strong quasi-metric spaces, Topological games in domain theory, Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions, Formal contexts for algebraic domains, Quantale-valued preorders: globalization and cocompleteness., Formal balls of Q-categories, Domain-complete and LCS-complete spaces, Continuous prequantale models of \(T_1\) topological semigroups, A Cartesian closed category of domains with almost algebraic bases, Quasi-continuous Yoneda complete quasi-metric space, Essential and density topologies of continuous domains, Measuring the probabilistic powerdomain, Any \(T_1\) space has a continuous poset model, On quasi-metrizable \(d\)-spaces, Computability of probability measures and Martin-Löf randomness over metric spaces, Generalized ultrametric spaces in quantitative domain theory, Maximal point spaces of dcpos satisfying the Lawson condition, Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations, A domain-theoretic approach to fuzzy metric spaces, The Xi-Zhao model of \(T_1\)-spaces, T-complete KM-fuzzy metric spaces via domain theory, The localic compact interval is an Escardó‐Simpson interval object, Directed complete poset models of T₁ spaces, Local Yoneda completions of quasi-metric spaces, Completeness of hyperspaces of compact subsets of quasi-metric spaces, Effectiveness in RPL, with applications to continuous logic, Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks, Intrinsic approach spaces on domains, A duality of quantale-enriched categories, Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces, On the construction of domains of formal balls for uniform spaces, Generalized metrics and uniquely determined logic programs., Riemann and Edalat integration on domains., Ideal models of spaces., The regular spaces with countably based models., Bicontinuous Domains and Some Old Problems in Domain Theory, Reducibility of domain representations and Cantor–Weihrauch domain representations, A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations, The relationships between KM-fuzzy quasi-metric spaces and the associated posets of formal balls, Yoneda completion via a dcpo completion of its poset of formal balls, Cauchyness and convergence in fuzzy metric spaces, On computational environments of topological spaces, Static space-times naturally lead to quasi-pseudometrics, Metric spaces and \(FS\)-domains, Lawson topology of the space of formal balls and the hyperbolic topology, An application of a representation theorem for fuzzy metrics to domain theory, On topological spaces that have a bounded complete dcpo model, Domain theoretic characterisations of quasi-metric completeness in terms of formal balls, Unique Fixed Points in Domain Theory, Distance and Measurement in Domain Theory, An Application of Martin-Löf Randomness to Effective Probability Theory, Can partial indexings be totalized?, Complexity spaces as quantitative domains of computation, Algebraic models for \(T_1\)-spaces, Fixed points of contractive maps on dcpo's, A differential operator and weak topology for Lipschitz maps, Convex power domain and Vietoris space, Order environments of topological spaces, Quasi-metrics and monotone normality, \textit{std}-convergence in fuzzy metric spaces, Domains and stochastic processes, Complete partial metric spaces have partially metrizable computational models, Complete partial metric spaces have partially metrizable computational models, Lower topological algebraic domain models of topological spaces, Unnamed Item, The space of formal balls and models of quasi-metric spaces, The formal ball model for -categories, Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains, A quantitative computational model for complete partial metric spaces via formal balls, A computable approach to measure and integration theory, Dcpo models of Choquet complete and Baire spaces, Formal ball monads, Hyperbolic topology of normed linear spaces, Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets, Computable Banach spaces via domain theory, Weighted colimits and formal balls in generalized metric spaces, The generalized Riemann integral on locally compact spaces, Properly injective spaces and function spaces, Computation on metric spaces via domain theory, Domain representations of topological spaces, Kantorovich-Rubinstein quasi-metrics. III: Spaces of sublinear and superlinear previsions, A category of compositional domain-models for separable Stone spaces., Integration in Real PCF, A Domain-Theoretic Approach to Integration in Hausdorff Spaces, Maximal point spaces of closed interval posets, Extension of valuations on locally compact sober spaces, Polish spaces, computable approximations, and bitopological spaces, Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.

Cites Work