Varieties with equationally definable principal congruences

This publication has 9 references indexed in Scilit:

• The lattice of modal logics: an algebraic investigation
  The Journal of Symbolic Logic, 1980
• Definable principal congruences in varieties of groups and rings
  Algebra universalis, 1979
• Universal Algebra
  Published by Springer Nature ,1979
• Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
  Algebra universalis, 1978
• Uniform representations of congruence schemes
  Pacific Journal of Mathematics, 1978
• An example concerning definable principal congruences
  Algebra universalis, 1977
• The number of subdirectly irreducible algebras in a variety
  Algebra universalis, 1975
• A note on the congruence extension property
  Algebra universalis, 1971
• Implicative semi-lattices
  Transactions of the American Mathematical Society, 1965