Extending algebraic operations to D-completions.

DOI10.1016/J.ENTCS.2009.07.086zbMATH Open1341.06010OpenAlexW2080985808MaRDI QIDQ2805153FDOQ2805153

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

Recommendations

• Extending algebraic operations to D-completions
• Directed completions of local dcpos
• D-completions and the \(d\)-topology
• \(D\)-completions of net convergence structures
• Dcpo-completion of posets

zbMATH Keywords

free algebrascompletionsdcpo-completionsextensions of algebraic operationsextensions of identitiesmonotone convergence spaces

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Continuous Lattices and Domains
• Title not available (Why is that?)
• Title not available (Why is that?)
• Presenting Dcpos and Dcpo Algebras
• \(T_ 0\)-spaces and pointwise convergence
• Compactly generated domain theory
• The validity of equations of complex algebras
• Title not available (Why is that?)
• The bounded-complete hull of an \(\alpha\)-space
• Identities for globals (complex algebras) of algebras
• Title not available (Why is that?)

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

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