Extending Algebraic Operations to D-Completions

DOI10.1016/J.ENTCS.2009.07.086zbMath1341.06010OpenAlexW2080985808MaRDI QIDQ2805153

Klaus Keimel, Jimmie D. Lawson

Publication date: 10 May 2016

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.07.086

zbMATH Keywords

completionsfree algebrasdcpo-completionsextensions of algebraic operationsextensions of identitiesmonotone convergence spaces

Mathematics Subject Classification ID

Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Continuous lattices and posets, applications (06B35)

Cites Work

• \(T_ 0\)-spaces and pointwise convergence
• 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
• Compactly generated domain theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Extending Algebraic Operations to D-Completions