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 varietyfinitely generated subvarietylocally finitesolvable congruencessubdirectly irreducible algebras

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

• 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
• 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?)
• 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

(19)

• Finitely determined arithmetical varieties need not be universally- finite
• Varieties with decidable finite algebras. II: Permutability
• Decision problem for orthomodular lattices
• A sufficient condition for finite decidability
• Finitely related algebras in congruence modular varieties have few subpowers
• Type 2 subdirectly irreducible algebras in finitely decidable varieties
• Neutrabelian algebras
• Definability of directly indecomposable congruence modular algebras
• Finitely generated equational classes
• The Join Levels of the Trotter-Weil Hierarchy Are Decidable
• scientific article; zbMATH DE number 5901621 (Why is no real title available?)
• A Characterization of Finitely Decidable Congruence Modular Varieties
• scientific article; zbMATH DE number 47296 (Why is no real title available?)
• scientific article; zbMATH DE number 1197054 (Why is no real title available?)
• On Solvable Congruences in Finitely Decidable Varieties
• scientific article; zbMATH DE number 1064596 (Why is no real title available?)
• Profiniteness in finitely generated varieties is undecidable
• Bounding essential arities of term operations in finitely decidable varieties
• \(\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)