%0 Journal Article %A Albert, Michael H. %D 1991 %T A sufficient condition for finite decidability %U https://kilthub.cmu.edu/articles/journal_contribution/A_sufficient_condition_for_finite_decidability/6476726 %R 10.1184/R1/6476726.v1 %2 https://kilthub.cmu.edu/ndownloader/files/11908169 %K Decidability (Mathematical logic) %K Finite groups. %X Abstract: "We prove that a locally finite, finitely generated, congruence modular variety V whose subdirectly irreducible algebras are all either abelian or linear type 3 above the monolith is finitely decidable if and only if the theory of the finite abelian algebras in V is decidable." %I Carnegie Mellon University