Computation on metric spaces via domain theory

DOI10.1016/S0166-8641(97)00152-1zbMath0922.54025OpenAlexW2051598506MaRDI QIDQ1295303

Jimmie D. Lawson

Publication date: 20 July 1999

Published in: Topology and its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0166-8641(97)00152-1

zbMATH Keywords

Polish spaceBorel measurescontinuous domainset of maximal points of a domain

Mathematics Subject Classification ID

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

Related Items (16)

Topological games in domain theory ⋮ A Cartesian closed category of domains with almost algebraic bases ⋮ A domain-theoretic approach to Brownian motion and general continuous stochastic processes ⋮ Maximal point spaces of dcpos satisfying the Lawson condition ⋮ Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation ⋮ Ideal models of spaces. ⋮ On computational environments of topological spaces ⋮ On topological spaces that have a bounded complete dcpo model ⋮ Can partial indexings be totalized? ⋮ A differential operator and weak topology for Lipschitz maps ⋮ Probabilistic event structures and domains ⋮ The space of formal balls and models of quasi-metric spaces ⋮ The formal ball model for -categories ⋮ The generalized Riemann integral on locally compact spaces ⋮ A Domain-Theoretic Approach to Integration in Hausdorff Spaces ⋮ Extension of valuations on locally compact sober spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Domain theory and integration
• Total objects of domains
• A computational model for metric spaces
• CPO's of measures for nondeterminism
• Embedding metric spaces into CPO's
• Dynamical systems, measures, and fractals via domain theory
• Power domains and iterated function systems
• Existence theorems for measures on continous posets, with applications to random set theory.
• The Spectral Theory of Distributive Continuous Lattices
• Spaces of maximal points
• When Scott is weak on the top

This page was built for publication: Computation on metric spaces via domain theory