1 citations · 2 across the 2 of their papers we have counts for
3 papers
math.RA2015★ 1 cited
Absorption and directed Jónsson terms
Alexandr Kazda, Marcin Kozik, Ralph McKenzie +1
We prove that every congruence distributive variety has directed Jónsson terms, and every congruence modular variety has directed Gumm terms. The directed terms we construct witnes…
math.LO2013★ 1 cited
Strong solvability and residual finiteness for finitely decidable varieties
Ralph McKenzie, Matthew Smedberg
If V is a finitely generated variety such that the first-order theory of the finite members of V is decidable, we show that V is residually finite, and in fact has a finite bound o…
math.RA2011
On the number of finite algebraic structures
Erhard Aichinger, Peter Mayr, Ralph McKenzie
We prove that every clone of operations on a finite set A, if it contains a Malcev operation, is finitely related -- i.e., identical with the clone of all operations respecting R f…