Finitely Decidable Congruence Modular Varieties

DOI10.2307/2154290zbMath0788.08004OpenAlexW4235910469MaRDI QIDQ3142089

Joohee Jeong

Publication date: 20 December 1993

Full work available at URL: https://doi.org/10.2307/2154290

zbMATH Keywords

congruence latticescongruence modular varietysubdirectly irreducible algebraslocally finitesolvable congruencesfinitely generated subvariety

Mathematics Subject Classification ID

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