The essence of ideal completion in quantitative form

DOI10.1016/S0304-3975(00)00334-0zbMath1002.68091MaRDI QIDQ1605177

Philipp Sünderhauf, Robert C. Flagg

Publication date: 15 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

Scott topologyideal completion\(V\)-continuity space

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Yoneda completeness and flat completeness of ordered fuzzy sets ⋮ Section-retraction-pairs between fuzzy domains ⋮ An enriched category approach to many valued topology ⋮ Sober metric approach spaces ⋮ Unnamed Item ⋮ A characterization of partial metrizability: Domains are quantifiable. ⋮ Complete and directed complete \(\Omega \)-categories ⋮ The limit–colimit coincidence theorem for -categories ⋮ Yoneda completion via a dcpo completion of its poset of formal balls ⋮ Approximation in quantale-enriched categories ⋮ Dcpo-completion of posets ⋮ Continuous triangular norm based fuzzy topology ⋮ Closedness of the category of liminf complete fuzzy orders ⋮ Scott approach distance on metric spaces ⋮ A comparative study of ideals in fuzzy orders ⋮ On the Yoneda completion of a quasi-metric space

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A faithful computational model of the real numbers
• Elements of generalized ultrametric domain theory
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• Sobrification of partially ordered sets
• Quantales and continuity spaces
• Quasi-uniform completeness in terms of Cauchy nets
• Metric spaces, generalized logic, and closed categories
• Completeness of Quasi-Uniform and Syntopological Spaces
• Completely Distributive Complete Lattices

This page was built for publication: The essence of ideal completion in quantitative form