Pages that link to "Item:Q2520764"
From MaRDI portal
The following pages link to Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups (Q2520764):
Displaying 11 items.
- On representing semigroups with subsemilattices. (Q360174) (← links)
- Finite representability of semigroups with demonic refinement (Q829757) (← links)
- The algebra of functions with antidomain and range (Q908324) (← links)
- Domain and range for angelic and demonic compositions (Q1734512) (← links)
- Representable semilattice-ordered monoids (Q2474106) (← links)
- Domain range semigroups and finite representations (Q2695374) (← links)
- Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus (Q4291872) (← links)
- Undecidability of representability as binary relations (Q4899169) (← links)
- Undecidability of Algebras of Binary Relations (Q5015973) (← links)
- The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable (Q5693111) (← links)
- Implication algebras and implication semigroups of binary relations (Q6174423) (← links)