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

DOI10.1007/BF02483874MaRDI QIDQ1150643zbMATH OpenOpenAlexFDO

Authors 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

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1150643)