Finitely Decidable Congruence Modular Varieties

DOI10.2307/2154290MaRDI QIDQ3142089zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• A Characterization of Finitely Decidable Congruence Modular Varieties
• A sufficient condition for finite decidability
• SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES
• A property of the solvable radical in finitely decidable varieties
• Varieties with decidable finite algebras. II: Permutability

Cites work

• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 4035895 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3554283 (Why is no real title available?)
• A non-Abelian variety of groups has an undecidable elementary theory
• A prevariety of semigroups whose elementary theory is solvable
• A property of the solvable radical in finitely decidable varieties
• A sufficient condition for finite decidability
• Decidability and Boolean representations
• Decidable discriminator varieties from unary varieties
• Decidable unary varieties
• Finitary decidability implies congruence permutability for congruence modular varieties
• Narrowness implies uniformity
• Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties
• SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES
• The structure of decidable locally finite varieties
• The structure of finite algebras
• Varieties with decidable finite algebras. II: Permutability

Cited in

(14)

• Profiniteness in finitely generated varieties is undecidable
• Finitely generated equational classes
• scientific article; zbMATH DE number 5901621 (Why is no real title available?)
• scientific article; zbMATH DE number 47296 (Why is no real title available?)
• A sufficient condition for finite decidability
• Varieties with decidable finite algebras. II: Permutability
• A Characterization of Finitely Decidable Congruence Modular Varieties
• Type 2 subdirectly irreducible algebras in finitely decidable varieties
• On Solvable Congruences in Finitely Decidable Varieties
• Neutrabelian algebras
• The Join Levels of the Trotter-Weil Hierarchy Are Decidable
• Bounding essential arities of term operations in finitely decidable varieties
• Finitely determined arithmetical varieties need not be universally- finite
• \(\mathcal{V}_{SI}\) first order implies \(\mathcal{V}_{DI}\) second order

This page was built for publication: Finitely Decidable Congruence Modular Varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3142089)