Finitary decidability implies congruence permutability for congruence modular varieties

DOI10.1007/BF01212443zbMath0761.08003MaRDI QIDQ1205173

Joohee Jeong

Publication date: 1 April 1993

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

congruence permutablefinitely decidablelocally finite congruence modular variety

Mathematics Subject Classification ID

Congruence modularity, congruence distributivity (08B10)

Related Items

Hereditary undecidability of some theories of finite structures ⋮ Finitely Decidable Congruence Modular Varieties ⋮ A Characterization of Finitely Decidable Congruence Modular Varieties

Cites Work

• Unnamed Item
• Finite fixed point algebras are subdiagonalisable
• Varieties with decidable finite algebras. II: Permutability
• Congruence modularity is permutability composed with distributivity
• The structure of decidable locally finite varieties

This page was built for publication: Finitary decidability implies congruence permutability for congruence modular varieties