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 algebracongruence modulardecidablefinitely generated varietyBoolean powercongruence distributivecongruence permutablehereditarily undecidablecongruence linearsemantical interpretation
Decidability of theories and sets of sentences (03B25) Congruence modularity, congruence distributivity (08B10)
Related Items
Hereditary undecidability of some theories of finite structures ⋮ A characterization of congruence permutable locally finite varieties ⋮ Finitely Decidable Congruence Modular Varieties ⋮ Finitary decidability implies congruence permutability for congruence modular varieties ⋮ A sufficient condition for finite decidability ⋮ A Characterization of Finitely Decidable Congruence Modular Varieties
Cites Work
This page was built for publication: Varieties with decidable finite algebras. II: Permutability