Can I read Undecidability of Representability for Lattice-ordered Semigroups and Ordered Complemented Semigroups on EtoBox?

Undecidability of Representability for Lattice-ordered Semigroups and Ordered Complemented Semigroups by Neuzerling, Murray is a scholarly article available to read on EtoBox.

What is Undecidability of Representability for Lattice-ordered Semigroups and Ordered Complemented Semigroups about?

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.

Author

Neuzerling, Murray

Published

2015

Language

EN