Meet-completions and representations of ordered domain algebras
Robin Hirsch, Rob Egrot · UCL Discovery (University College London) · 2013
We apply the well known equivalence between meet-completions of posets and standard closure operators to construct 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 in the completion.