Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A syntactic approach to the MacNeille completion of
  $\bold\Lambda^{\ast}$, the free monoid over an ordered alphabet $\bold
  \Lambda$   Let $\Lambda^{\ast}$ be the free monoid of (finite) words over a not
necessarily finite alphabet $\Lambda$, which is equipped with some (partial)
order. This ordering lifts to $\Lambda^{\ast}$, where it extends the
divisibility ordering of words. The MacNeille completion of $\Lambda^{\ast}$
constitutes a complete lattice ordered monoid and is realized by the system of
"closed" lower sets in $\Lambda^*$ (ordered by inclusion) or its isomorphic
copy formed of the "closed" upper sets (ordered by reverse inclusion). Under
some additional hypothesis on $\Lambda$, one can easily identify the closed
lower sets as the finitely generated ones, whereas it is more complicated to
determine the closed upper sets. For a fairly large class of ordered sets
$\Lambda$ (including complete lattices as well as antichains) one can generate
the closure of any upper set of words by means of binary operations (
"syntactic rules") thus obtaining an efficient procedure to test closedness.
Closed upper set of words are involved in an embedding theorem for valuated
oriented graphs. In fact, generalized paths (so-called "zigzags") are encoded
by words over an alphabet $\Lambda$. Then the valuated oriented graphs which
are "isometrically" embeddable in a product of zigzags have the characteristic
property that the words corresponding to the zigzags between any pair of
vertices form a closed upper set in $\Lambda$.

23
The categories of this paper are: solv-int
27
The categories of this paper are: comp-gas
14
The categories of this paper are: math-ph
29
The categories of this paper are: funct-an
1
The categories of this paper are: cs
34
The categories of this paper are: chem-ph
0
The categories of this paper are: hep-ph
20
The categories of this paper are: acc-phys
9
The categories of this paper are: nlin
4
The categories of this paper are: cond-mat
12
The categories of this paper are: nucl-th
33
The categories of this paper are: plasm-ph
8
The categories of this paper are: hep-ex
31
The categories of this paper are: ao-sci
11
The categories of this paper are: hep-lat
32
The categories of this paper are: atom-ph