Decidability of weak equational theories
Definability in the lattice of equational theories of semigroups.
Diassociativity is not finitely based relative to power associativity
We show that the variety of diassociative loops is not finitely based even relative to power associative loops with inverse property.
Disturbance modeling and state estimation for offset-free predictive control with state-space process models