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
completionsfree algebrasdcpo-completionsextensions of algebraic operationsextensions of identitiesmonotone convergence spaces
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