scientific article

zbMath0578.03019MaRDI QIDQ3699677

Max Dauchet, Gerard Comyn

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Lawson topologycanonical metrictopological propertiessemantic domainsorder completionscomplete partial ordersordered domainsmetric completionsinduced topologydecidable objectscomputable completionseffective Cauchy sequencesfinitary elementsinfinitary CPOsinfinitary objectsmetric structure of functional spacessyntactic CPOs

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Semantics in the theory of computing (68Q55) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Ordered topological structures (06F30) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (4)

Infinite concurrent systems. I: The relationship between metric and order convergence ⋮ Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding ⋮ A metric for traces ⋮ Metric completion versus ideal completion

This page was built for publication: