A double completion for an arbitrary \(T_0\)-quasi-metric space

DOI10.1016/j.jlap.2008.02.006zbMath1211.54039OpenAlexW1965307264MaRDI QIDQ941440

Hans-Peter A. Künzi, Charly Makitu Kivuvu

Publication date: 1 September 2008

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2008.02.006

zbMATH Keywords

completionquasi-pseudometricbicompletionquiet quasi-uniform space\(D\)-Cauchy filter\(T_{0}\)-quasi-metricbalanced quasi-metricCauchy filter pairDoitchinov completion

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Uniform structures and generalizations (54E15) Bitopologies (54E55)

Related Items (11)

The \(B\)-completion of a \(T_{0}\)-quasi-metric space ⋮ The Katětov construction modified for a \(T_0\)-quasi-metric space ⋮ The Isbell-hull of a di-space ⋮ On quasi-uniform box products ⋮ Fuzzy quasi-metrics for the Sorgenfrey line ⋮ A solution to the completion problem for quasi-pseudometric spaces ⋮ A construction of the \(B\)-completion of a \(T_0\)-quasi-metric space ⋮ On bornology of extended quasi-metric spaces ⋮ Extensions of \(T_0\)-quasi-metrics ⋮ Completion of continuity spaces with uniformly vanishing asymmetry ⋮ The \(\delta\)-completion of a quasi-pseudometric space

Cites Work

• A concept of completeness of quasi-uniform spaces
• On completion of fuzzy quasi-metric spaces
• Partial quasi-metrics
• On completeness in quasi-metric spaces
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• C-complete quasi-uniform spaces
• Sequence spaces and asymmetric norms in the theory of computational complexity.
• Recursive quasi-metric spaces.
• Generalized metrics and uniquely determined logic programs.
• On the Yoneda completion of a quasi-metric space
• The bicompletion of an asymmetric normed linear space
• Completeness of Quasi-Uniform and Syntopological Spaces
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A double completion for an arbitrary \(T_0\)-quasi-metric space