scientific article; zbMATH DE number 1064591
From MaRDI portal
Publication:4355922
zbMath0879.08001MaRDI QIDQ4355922
Publication date: 22 December 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveycommutatorssubdirectly irreducible algebraslocally finite varietiesresidually small varietiesdecidable first order theorytame congruencesRS problem
Decidability of theories and sets of sentences (03B25) Subalgebras, congruence relations (08A30) Structure theory of algebraic structures (08A05) Congruence modularity, congruence distributivity (08B10) Subdirect products and subdirect irreducibility (08B26) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)
Related Items (2)
This page was built for publication: