Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Meet-completions and ordered domain algebras   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.

14
The categories of this paper are: math-ph
18
The categories of this paper are: econ
21
The categories of this paper are: adap-org
0
The categories of this paper are: hep-ph
32
The categories of this paper are: atom-ph
8
The categories of this paper are: hep-ex
3
The categories of this paper are: physics
23
The categories of this paper are: solv-int
31
The categories of this paper are: ao-sci
22
The categories of this paper are: chao-dyn
7
The categories of this paper are: hep-th
15
The categories of this paper are: nucl-ex
24
The categories of this paper are: dg-ga
25
The categories of this paper are: patt-sol
26
The categories of this paper are: bayes-an
13
The categories of this paper are: quant-ph