Varieties with decidable finite algebras. II: Permutability

DOI10.1007/BF01236871zbMath0679.08003MaRDI QIDQ1124621

Paweł M. Idziak

Publication date: 1989

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

zbMATH Keywords

subdirectly irreducible algebracongruence modulardecidablefinitely generated varietyBoolean powercongruence distributivecongruence permutablehereditarily undecidablecongruence linearsemantical interpretation

Mathematics Subject Classification ID

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

• Varieties with decidable finite algebras. I: Linearity
• Decidability and Boolean representations

This page was built for publication: Varieties with decidable finite algebras. II: Permutability