DOI10.1007/BF02483874zbMath0457.08002MaRDI QIDQ1150643
S. H. Smith
Publication date: 1981 Published in: Algebra Universalis (Search for Journal in Brave)
zbMATH Keywords
finitely generated varieties; definability of the disjointness property of principal congruences
Mathematics Subject Classification ID
08A30: Subalgebras, congruence relations
08B10: Congruence modularity, congruence distributivity