Extending algebraic operations to D-completions

DOI10.1016/J.TCS.2011.02.015zbMath1279.06005OpenAlexW2080572348MaRDI QIDQ418818

Jimmie D. Lawson, Klaus Keimel

Publication date: 30 May 2012

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.02.015

zbMATH Keywords

conesdcpo-completionextension of algebraic operationsextension of identitiesfree algebra constructionsmonotone convergence space completion

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35)

Related Items (3)

A construction of free dcpo-cones ⋮ θ-continuity and D_θ-completion of posets ⋮ Healthiness conditions for predicate transformers

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Topological cones: functional analysis in a \(T_{0}\)-setting
• D-completions and the \(d\)-topology
• \(T_ 0\)-spaces and pointwise convergence
• Relative regular closedness and \(\pi\)-valuations
• The bounded-complete hull of an \(\alpha\)-space
• The validity of equations of complex algebras
• Identities for globals (complex algebras) of algebras
• Continuous Lattices and Domains
• Presenting Dcpos and Dcpo Algebras
• Distributing probability over non-determinism
• Compactly generated domain theory
• Monoids over domains

This page was built for publication: Extending algebraic operations to D-completions