Date of Original Version

1991

Type

Technical Report

Abstract or Table of Contents

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."

Share

COinS