most citedStrong solvability and residual finiteness for finitely decidable varieties

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing math.LOShow all

2 papers · 1 filter

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…