Finitely Decidable Congruence Modular Varieties
From MaRDI portal
Publication:3142089
DOI10.2307/2154290zbMath0788.08004OpenAlexW4235910469MaRDI QIDQ3142089
Publication date: 20 December 1993
Full work available at URL: https://doi.org/10.2307/2154290
congruence latticescongruence modular varietysubdirectly irreducible algebraslocally finitesolvable congruencesfinitely generated subvariety
Decidability of theories and sets of sentences (03B25) Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10) Subdirect products and subdirect irreducibility (08B26)
Related Items
A sufficient condition for finite decidability ⋮ A Characterization of Finitely Decidable Congruence Modular Varieties
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Decidable unary varieties
- Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties
- Varieties with decidable finite algebras. II: Permutability
- A non-Abelian variety of groups has an undecidable elementary theory
- The structure of decidable locally finite varieties
- Finitary decidability implies congruence permutability for congruence modular varieties
- A sufficient condition for finite decidability
- Narrowness implies uniformity
- A prevariety of semigroups whose elementary theory is solvable
- A property of the solvable radical in finitely decidable varieties
- Decidability and Boolean representations
- Decidable discriminator varieties from unary varieties
- SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES
- The structure of finite algebras