scientific article; zbMATH DE number 3924762

MaRDI QIDQ3699677zbMATH OpenFDO

Authors Gerard Comyn, Max Dauchet

Publication date 1985

zbMATH Keywords

canonical metriccomplete partial orderscomputable completionsdecidable objectseffective Cauchy sequencesfinitary elementsinduced topologyinfinitary CPOsinfinitary objectsLawson topologymetric completionsmetric structure of functional spacesorder completionsordered domainssemantic domainssyntactic CPOstopological properties

Mathematics Subject Classification ID

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

Recommendations

• Metric semantics from partial order semantics
• Denotational semantics in the cpo and metric approach
• Fundamentals of Computation Theory
• Computation on metric spaces via domain theory
• scientific article; zbMATH DE number 3883639

Cited in

(11)

• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• Infinite concurrent systems. I: The relationship between metric and order convergence
• Metric semantics from partial order semantics
• scientific article; zbMATH DE number 1001211 (Why is no real title available?)
• scientific article; zbMATH DE number 3883639 (Why is no real title available?)
• scientific article; zbMATH DE number 3858432 (Why is no real title available?)
• scientific article; zbMATH DE number 44566 (Why is no real title available?)
• Fundamentals of Computation Theory
• Metric completion versus ideal completion
• Ordered metric geometry
• A metric for traces

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3699677)