Varieties with decidable finite algebras. II: Permutability
From MaRDI portal
Publication:1124621
DOI10.1007/BF01236871zbMath0679.08003MaRDI QIDQ1124621
Publication date: 1989
Published in: Algebra Universalis (Search for Journal in Brave)
subdirectly irreducible algebra; congruence modular; decidable; finitely generated variety; Boolean power; congruence distributive; congruence permutable; hereditarily undecidable; congruence linear; semantical interpretation
03B25: Decidability of theories and sets of sentences
08B10: Congruence modularity, congruence distributivity
Related Items
Hereditary undecidability of some theories of finite structures, A characterization of congruence permutable locally finite varieties, Finitary decidability implies congruence permutability for congruence modular varieties, A sufficient condition for finite decidability, A Characterization of Finitely Decidable Congruence Modular Varieties, Finitely Decidable Congruence Modular Varieties
Cites Work