1 citations · 1 across the 2 of their papers we have counts for
2 papers
math.LO2013
Bounding essential arities of term operations in finitely decidable varieties
Matthew Smedberg
Let be a finite algebra generating a finitely decidable variety and having nontrivial strongly solvable radical . We provide an improved bound on the number of vari…
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…