Nikolaos GALATOS, Jeffrey S. OLSON and James G. RAFTERY
A b s t r a c t. This paper deals with axiomatization problems for varieties of residuated meet semilattice-ordered monoids (RSs). An internal characterization of the finitely subdirectly irreducible RSs is proved, and it is used to investigate the varieties of RSs within which the finitely based subvarieties are closed under finite joins. It is shown that a variety has this closure property if its finitely subdirectly irreducible members form an elementary class. A syntactic characterization of this hypothesis is proved, and examples are discussed.
Department of Mathematics, Norwich University, 158 Harmon Dr., Northfield, VT, 05663, USA
jolson@norwich.edu
School of Mathematical Sciences, University of KwaZulu-Natal,
Westville Campus, Private Bag X54001, Durban 4000 South Africa
raftery@ukzn.ac.za