Uniform Completion versus Ideal Completion of Posets with Projections

DOI10.1016/S1571-0661(05)80050-7zbMath1264.06009OpenAlexW2042879339MaRDI QIDQ4923375

Ralph Kummetz

Publication date: 6 June 2013

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

Full work available at URL: https://doi.org/10.1016/s1571-0661(05)80050-7

Mathematics Subject Classification ID

Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Continuous lattices and posets, applications (06B35)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Metric completion versus ideal completion
• Combining data type and recursive process specifications using projection algebras
• Metric semantics for concurrency
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• On functions preserving levels of approximation: A refined model construction for various lambda calculi
• Metric semantics from partial order semantics
• Bases for Chain-complete Posets
• A Powerdomain Construction

This page was built for publication: Uniform Completion versus Ideal Completion of Posets with Projections