An addendum to ``The theory of implicit operations''
Pub. online: 6 January 2026
Type: Case Report
Published
6 January 2026
6 January 2026
Abstract
In this addendum to CKMIMP, we provide a pair of counterexamples relevant to the theory of implicit operations. More precisely, we exhibit a pp expansion of a variety that fails to be a variety (although it is a quasivariety).\ Furthermore, we construct a sequence of varieties possessing a nonequational congruence preserving Beth companion.