Varieties of ordered algebras

https://doi.org/10.1016/S0022-0000(76)80030-XGet rights and content
Under an Elsevier user license
open archive

A variety of ordered algebras is a class K of ordered algebras satisfying satisfying a set of inequalities tt′. It is shown that a class K of ordered algebras is a variety if K is closed under subalgebras, products, and certain homomorphic images. The process of obtaining a “canonical” ω-completion of an ordered algebra is analyzed and it is shown that varieties of ordered algebras are closed with respect to ω-completion.

The concluding sections concern (i) a connection between ordered algebras and ordered algebraic theories, and (ii) a logic of inequalities, analogous to equational logic. A completeness theorem for this logic is proved.

Cited by (0)