Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups (Q2520764)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups |
scientific article |
Statements
Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups (English)
0 references
16 December 2016
0 references
relation algebras
0 references
undecidability
0 references
