Browsing by Subject "finite decidability"
Now showing items 1-1 of 1
-
(2014-04-04)Department: MathematicsWe show that several kinds of local behavior in a finite algebra A present obstructions to the decidability of the first-order theory of the finite members of HSP(A). In particular, we show that every solvable congruence ...