Publication:4355929
From MaRDI portal
zbMath0887.03028MaRDI QIDQ4355929
Publication date: 17 May 1998
surveydecidabilityresidual smallnessfinite axiomatizabilityfinitely generated varietiesresidual largenessTarski finite basis problem
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)
Related Items
Operator properties of congruence permutable varieties with strongly definable principal congruences., $HSP\not = SHPS$ for commutative rings with identity