Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups
Logic
2015-03-17 v2
Abstract
We prove that the problems of representing a finite ordered complemented semigroup or finite lattice-ordered semigroup as an algebra of binary relations over a finite set are undecidable. In the case that complementation is taken with respect to a universal relation, this result can be extended to infinite representations of ordered complemented semigroups.
Cite
@article{arxiv.1503.03192,
title = {Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups},
author = {Murray Neuzerling},
journal= {arXiv preprint arXiv:1503.03192},
year = {2015}
}
Comments
Corrected run-on sentence