An application of a representation theorem for fuzzy metrics to domain theory

DOI10.1016/j.fss.2016.04.001zbMath1378.54010OpenAlexW2338780765MaRDI QIDQ679766

Iraide Mardones-Pérez, María Angeles de Prada Vicente

Publication date: 22 January 2018

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2016.04.001

zbMATH Keywords

completenesspseudometricmodeldomaindomain representabledomain environmentformal ballsfuzzy (pseudo)metric space

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Fuzzy topology (54A40) Quotient spaces, decompositions in general topology (54B15) Continuous lattices and posets, applications (06B35)

Related Items

T-complete KM-fuzzy metric spaces via domain theory ⋮ Formal balls in fuzzy quasi-metric spaces ⋮ The relationships between KM-fuzzy quasi-metric spaces and the associated posets of formal balls

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A domain-theoretic approach to fuzzy metric spaces
• Probabilistic metric spaces as enriched categories
• Fuzzy pseudometric spaces vs fuzzifying structures
• Statistical metric spaces
• Total objects of domains
• A computational model for metric spaces
• Embedding metric spaces into CPO's
• Weighted colimits and formal balls in generalized metric spaces
• Domain representations of topological spaces
• A representation theorem for fuzzy pseudometrics
• Quantitative continuous domains
• Bounded complete models of topological spaces
• Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
• The space of formal balls and models of quasi-metric spaces
• A quantitative computational model for complete partial metric spaces via formal balls
• Spaces of maximal points
• Continuous Lattices and Domains
• On some results in fuzzy metric spaces