Meet-completions and ordered domain algebras

DOI10.1093/JIGPAL/JZV018zbMATH Open1405.03100arXiv1502.06478OpenAlexW2963697244MaRDI QIDQ4644523FDOQ4644523

Authors: Robert Egrot, Robin Hirsch 

Publication date: 8 January 2019

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Abstract: Using the well-known equivalence between meet-completions of posets and standard closure operators we show a general method for constructing meet-completions for isotone poset expansions. With this method we find a meet-completion for ordered domain algebras which simultaneously serves as the base of a representation for such algebras, thereby proving that ordered domain algebras have the finite representation property. We show that many of the equations defining ordered domain algebras are preserved in this completion but associativity, (D2) and (D6) can fail.

Full work available at URL: https://arxiv.org/abs/1502.06478

Recommendations

• Join-completions of partially ordered algebras
• Representation theorems for directed completions of consistent algebraic \(L\)-domains
• scientific article; zbMATH DE number 4070972
• scientific article; zbMATH DE number 18639
• Extending algebraic operations to D-completions.

zbMATH Keywords

partially ordered setcompletionfinite representation propertyordered domain algebra

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Cylindric and polyadic algebras; relation algebras (03G15)

This page was built for publication: Meet-completions and ordered domain algebras

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