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

DOI10.1016/j.jlap.2008.02.006zbMath1211.54039MaRDI 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

completion; quasi-pseudometric; bicompletion; quiet quasi-uniform space; \(D\)-Cauchy filter; \(T_{0}\)-quasi-metric; balanced quasi-metric; Cauchy filter pair; Doitchinov completion

Mathematics Subject Classification ID

54E35: Metric spaces, metrizability

54D35: Extensions of spaces (compactifications, supercompactifications, completions, etc.)

54E15: Uniform structures and generalizations

54E55: Bitopologies

Related Items

The Katětov construction modified for a \(T_0\)-quasi-metric space, The Isbell-hull of a di-space, Completion of continuity spaces with uniformly vanishing asymmetry, The \(\delta\)-completion of a quasi-pseudometric space, The \(B\)-completion of a \(T_{0}\)-quasi-metric space, 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

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