Extending algebraic operations to D-completions.

DOI10.1016/J.ENTCS.2009.07.086MaRDI QIDQ2805153zbMATH OpenOpenAlexFDO

Authors 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

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)

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

Cites work

• scientific article; zbMATH DE number 3846844 (Why is no real title available?)
• scientific article; zbMATH DE number 19038 (Why is no real title available?)
• scientific article; zbMATH DE number 1498608 (Why is no real title available?)
• scientific article; zbMATH DE number 821282 (Why is no real title available?)
• scientific article; zbMATH DE number 851999 (Why is no real title available?)
• Compactly generated domain theory
• Continuous Lattices and Domains
• Identities for globals (complex algebras) of algebras
• Presenting dcpos and dcpo algebras
• The bounded-complete hull of an \(\alpha\)-space
• The validity of equations of complex algebras
• \(T_ 0\)-spaces and pointwise convergence

Cited in

(4)

• Extending algebraic operations to D-completions
• \(D\)-completions of net convergence structures
• Meet-completions and ordered domain algebras
• Presenting dcpos and dcpo algebras

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)