3 research outputs found
Languages ordered by the subword order
We consider a language together with the subword relation, the cover
relation, and regular predicates. For such structures, we consider the
extension of first-order logic by threshold- and modulo-counting quantifiers.
Depending on the language, the used predicates, and the fragment of the logic,
we determine four new combinations that yield decidable theories. These results
extend earlier ones where only the language of all words without the cover
relation and fragments of first-order logic were considered
On the homomorphism order of labeled posets
Partially ordered sets labeled with k labels (k-posets) and their
homomorphisms are examined. We give a representation of directed graphs by
k-posets; this provides a new proof of the universality of the homomorphism
order of k-posets. This universal order is a distributive lattice. We
investigate some other properties, namely the infinite distributivity, the
computation of infinite suprema and infima, and the complexity of certain
decision problems involving the homomorphism order of k-posets. Sublattices are
also examined.Comment: 14 page