×

zbMATH — the first resource for mathematics

The decision problem for equational bases of algebras. (English) Zbl 0376.08005

MSC:
08B99 Varieties
03B25 Decidability of theories and sets of sentences
08A05 Structure theory of algebraic structures
03C60 Model-theoretic algebra
06B05 Structure theory of lattices
PDF BibTeX XML Cite
Full Text: DOI