Generalized ultrametric spaces in quantitative domain theory

DOI10.1016/j.tcs.2006.05.037zbMath1171.68542OpenAlexW2092260948MaRDI QIDQ859838

Markus Krötzsch

Publication date: 22 January 2007

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.05.037

zbMATH Keywords

fixed point theoremquantitative domain theorymetric topologygeneralized ultrametric spacespace of formal balls

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Related Items (12)

Ultradiversities and their spherical completeness ⋮ On the construction of domains of formal balls for uniform spaces ⋮ Static space-times naturally lead to quasi-pseudometrics ⋮ Domain theoretic characterisations of quasi-metric completeness in terms of formal balls ⋮ Combinatorial properties of ultrametrics and generalized ultrametrics ⋮ Modular locally constant mappings in vector ultrametric spaces ⋮ The fixed-point theory of strictly causal functions ⋮ Completeness in generalized ultrametric spaces ⋮ Complete partial metric spaces have partially metrizable computational models ⋮ Complete partial metric spaces have partially metrizable computational models ⋮ The range of ultrametrics, compactness, and separability ⋮ A quantitative computational model for complete partial metric spaces via formal balls

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semi-metrics, closure spaces and digital topology
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• A computational model for metric spaces
• Quantales and continuity spaces
• Weighted colimits and formal balls in generalized metric spaces
• Approximation of metric spaces by partial metric spaces
• Generalized metrics and uniquely determined logic programs.
• A characterization of partial metrizability: Domains are quantifiable.
• Quantitative continuous domains
• All Topologies Come From Generalized Metrics
• Partial Metric Topology
• Continuous Lattices and Domains

This page was built for publication: Generalized ultrametric spaces in quantitative domain theory