Pages that link to "Item:Q3564344"
From MaRDI portal
The following pages link to Domain theoretic characterisations of quasi-metric completeness in terms of formal balls (Q3564344):
Displayed 24 items.
- On the domain of formal balls of the Sorgenfrey quasi-metric space (Q266334) (← links)
- Quantale-valued preorders: globalization and cocompleteness. (Q277350) (← links)
- A characterization of Smyth complete quasi-metric spaces via Caristi's fixed point theorem (Q288181) (← links)
- On fixed point theory in partial metric spaces (Q385690) (← links)
- A domain-theoretic approach to fuzzy metric spaces (Q392568) (← links)
- The Isbell-hull of a di-space (Q429339) (← links)
- \(Q\)-functions on quasimetric spaces and fixed points for multivalued maps (Q536875) (← links)
- An application of a representation theorem for fuzzy metrics to domain theory (Q679766) (← links)
- Distance domains: continuity (Q831143) (← links)
- The relationships between KM-fuzzy quasi-metric spaces and the associated posets of formal balls (Q1744451) (← links)
- Yoneda completion via a dcpo completion of its poset of formal balls (Q1744459) (← links)
- \(q\)-hyperconvexity in quasipseudometric spaces and fixed point theorems (Q1757917) (← links)
- Weakly contractive multivalued maps and \(w\)-distances on complete quasi-metric spaces (Q1952126) (← links)
- Topologies for semicontinuous Richter-Peleg multi-utilities (Q1986076) (← links)
- The monad on strong quasi-metric spaces (Q2120964) (← links)
- Domain-complete and LCS-complete spaces (Q2130601) (← links)
- Quasi-continuous Yoneda complete quasi-metric space (Q2130612) (← links)
- Fixed points and completeness in metric and generalized metric spaces (Q2203277) (← links)
- Fixed point theorems in generalized metric spaces with applications to computer science (Q2252670) (← links)
- On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics (Q2319341) (← links)
- On the construction of domains of formal balls for uniform spaces (Q2447136) (← links)
- Formal balls in fuzzy quasi-metric spaces (Q4631883) (← links)
- Complete partial metric spaces have partially metrizable computational models (Q5891573) (← links)
- Complete partial metric spaces have partially metrizable computational models (Q5891574) (← links)