On Solvable Congruences in Finitely Decidable Varieties

Abstract In this paper we establish the (1, 2)‐ and (2, 1)‐transfer principles for finitely decidable locally finite varieties, where a class of structures is finitely decidable if the first order theory of its finite members is recursive. The transfer principles deal with the local structure of finite algebras and have strong global consequences. Mathematics Subject Classification : 08A05, 03C13, 08B05, 08B10.