Lattice-theoretic decision problems in universal algebra

This publication has 15 references indexed in Scilit:

• Embedding the dual ofΠ ∞ in the lattice of equational classes of semigroups
  Algebra universalis, 1971
• On the structure of the lattice of equational classes ℒ (τ)
  Algebra universalis, 1971
• Negative solution of the decision problem for sentences true in every subalgebra of 〈N, +〉
  The Journal of Symbolic Logic, 1971
• The lattice of semigroup varieties
  Semigroup Forum, 1971
• The undecidability of the elementary theory of lattices of subgroups of finite Abelianp -groups
  Algebra and Logic, 1970
• ELEMENTARY THEORIES
  Russian Mathematical Surveys, 1965
• The Lattice of Equational Classes of Algebras with One Unary Operation
  The American Mathematical Monthly, 1964
• The first order properties of products of algebraic systems
  Fundamenta Mathematicae, 1959
• Equational completeness of abstract algebras
  Indagationes Mathematicae, 1955
• Undecidability of Some Topological Theories
  Fundamenta Mathematicae, 1951