Varieties with decidable finite algebras. I: Linearity
From MaRDI portal
Publication:1124620
DOI10.1007/BF01236870zbMath0679.08002OpenAlexW1597575289MaRDI QIDQ1124620
Publication date: 1989
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01236870
subdirectly irreducible algebracongruence modulardecidablefinitely generated varietyBoolean powercongruence distributivecongruence permutablehereditarily undecidablecongruence linearsemantical interpretation
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