Varieties with decidable finite algebras. I: Linearity

DOI10.1007/BF01236870zbMath0679.08002OpenAlexW1597575289MaRDI QIDQ1124620

Paweł M. Idziak

Publication date: 1989

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

Full work available at URL: https://doi.org/10.1007/bf01236870

zbMATH Keywords

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

Mathematics Subject Classification ID

Congruence modularity, congruence distributivity (08B10)

Related Items

Varieties with decidable finite algebras. II: Permutability ⋮ Hereditary undecidability of some theories of finite structures ⋮ A sufficient condition for finite decidability

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences
• Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties
• A non-Abelian variety of groups has an undecidable elementary theory
• The structure of decidable locally finite varieties
• Monadic algebras with finite degree
• Undecidability of Brouwerian semilattices
• Decidability problem for finite Heyting algebras
• Decidability and Boolean representations
• Complete and model-complete theories of monadic algebras
• Finite inseparability of some theories of cylindrification algebras
• The elementary theory of abelian groups
• Undecidability of Some Topological Theories
• Elementary properties of Abelian groups