Extending algebraic operations to D-completions
From MaRDI portal
Publication:418818
DOI10.1016/j.tcs.2011.02.015zbMath1279.06005MaRDI 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
cones; dcpo-completion; extension of algebraic operations; extension of identities; free algebra constructions; monotone convergence space completion
06B35: Continuous lattices and posets, applications
Related Items
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item