On the structure of varieties with equationally definable principal congruences II

This publication has 14 references indexed in Scilit:

• Congruence-lattices of discrete RUCS varieties
  Algebra universalis, 1984
• Brouwerian Semilattices
  Transactions of the American Mathematical Society, 1981
• On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
  The Journal of Symbolic Logic, 1975
• Equational classes of relative Stone algebras.
  Notre Dame Journal of Formal Logic, 1972
• Varieties of implicative semilattices
  Pacific Journal of Mathematics, 1971
• Two Mal'cev-type theorems in universal algebra
  Journal of Combinatorial Theory, 1970
• Boolean extensions and normal subdirect powers of finite universal algebras
  Mathematische Zeitschrift, 1967
• Caracterisation des algèbres de Nelson par des egalités, I
  Proceedings of the Japan Academy, Series A, Mathematical Sciences, 1967
• Implicative semi-lattices
  Transactions of the American Mathematical Society, 1965
• Some theorems about the sentential calculi of Lewis and Heyting
  The Journal of Symbolic Logic, 1948