An application of a representation theorem for fuzzy metrics to domain theory
From MaRDI portal
Publication:679766
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
completenesspseudometricmodeldomaindomain representabledomain environmentformal ballsfuzzy (pseudo)metric space
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