scientific article; zbMATH DE number 1064591

MaRDI QIDQ4355922zbMATH OpenFDO

Authors Emil W. Kiss

Publication date 22 December 1997

zbMATH Keywords

commutatorsdecidable first order theorylocally finite varietiesresidually small varietiesRS problemsubdirectly irreducible algebrassurveytame congruences

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02) Structure theory of algebraic structures (08A05) Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10) Subdirect products and subdirect irreducibility (08B26)

Recommendations

• scientific article; zbMATH DE number 3970815
• Tame congruence theory
• scientific article; zbMATH DE number 1229875

Cited in

(7)

• Problems and results in tame congruence theory. A survey of the '88 Budapest workshop
• An approach to tame congruence theory via subtraces
• Tame congruence theory
• THE TYPE SET OF A VARIETY IS NOT COMPUTABLE
• Loop conditions for strongly connected digraphs
• On the size of congruence lattices for models of theories with definability of congruences
• A new line of attack on the dichotomy conjecture

This page was built for publication:

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