Results 21 to 30 of about 138 (31)
Day's Theorem is sharp for $n$ even
, 2020 Both congruence distributive and congruence modular varieties admit Maltsev characterizations by means of the existence of a finite but variable number of appropriate terms. A.
Lipparini, Paolo
core
On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers [PDF]
, 1999 This paper shows that the collection of identities in two variableswhich hold in the algebra N of the natural numbers with constantzero, and binary operations of sum and maximum does not have afinite equational axiomatization.
Aceto, Luca +2 more
core +1 more source
MAL’TSEV CONDITIONS, LACK OF ABSORPTION, AND SOLVABILITY [PDF]
. We provide a new characterization of several Mal’tsev conditions for locally finite varieties using hereditary term properties. We show a particular example how lack of absorption causes collapse in the Mal’tsev hierarchy, and point out a connection ...
David Stanovsk Y +2 more
core
Super-De Morgan functions and free De Morgan quasilattices
Open Mathematics, 2014 Movsisyan Yuri, Aslanyan Vahagn
doaj +1 more source
On schemes for congruence distributivity
Open Mathematics, 2004 Chajda I., Halaš R.
doaj +1 more source