Primitive Satisfaction and Equational Problems for Lattices and Other Algebras

Open Access

1 April 1974

journal article
Published by JSTOR in Transactions of the American Mathematical Society

Vol. 190, 125-150
https://doi.org/10.2307/1996955

Abstract

This paper presents a general method of solving equational problems in all equational classes of algebras whose congruence lattices are distributive, such as those consisting of lattices, relation algebras, cylindric algebras, orthomodular lattices, lattice-ordered rings, lattice-ordered groups, Heyting algebras, other lattice-ordered algebras, implication algebras, arithmetic rings, and arithmetical algebras.

Keywords

This publication has 32 references indexed in Scilit:

Universal Algebra
Published by Springer Nature ,1979
Weak (projective) radius and finite equational bases for classes of lattices
Algebra universalis, 1973
Lattice Theory: First Concepts and Distributive Lattices.
The American Mathematical Monthly, 1973
Varieties of Orthomodular Lattices. II
Canadian Journal of Mathematics, 1972
Varieties of Orthomodular Lattices
Canadian Journal of Mathematics, 1971
Equational axioms for classes of lattices
Bulletin of the American Mathematical Society, 1971
Equational classes of modular lattices
Pacific Journal of Mathematics, 1969
Cylindric algebras
Proceedings of Symposia in Pure Mathematics, 1961
The Lattice Theory of Post Algebras
Transactions of the American Mathematical Society, 1960
Lattice Theory. By Garrett Birkhoff. 2nd edition. Pp. xiii, 283. $6. 1948. American Mathematical Society Colloquium Publications, 25. (American Mathematical Society, New York)
The Mathematical Gazette, 1950