Two examples concerning the definability of the disjointness property of principal congruences

DOI10.1007/BF02483874zbMath0457.08002OpenAlexW2083538463MaRDI QIDQ1150643

S. H. Smith

Publication date: 1981

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02483874

zbMATH Keywords

finitely generated varietiesdefinability of the disjointness property of principal congruences

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10)

Cites Work

• Finite equational bases for finite algebras in a congruence-distributive equational class
• Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
• Definable principal congruences in varieties of groups and rings
• On Baker's Finite Basis Theorem for Congruence Distributive Varieties

This page was built for publication: Two examples concerning the definability of the disjointness property of principal congruences