On a representable class of separated lattice EQ-algebras
Moataz El-ZekeyMahmoud Khalaf
Abstract:
In this paper, we introduce and study a class of separated lattice EQ-algebras that may be represented as subalgebras of products of linearly ordered ones. Such algebras are called representable. Namely, we enrich separated lattice EQ-algebras with a unary operation (the so called Baaz delta), fulfilling some additional assumptions. The resulting algebras are called lEQ_Δ^s-algebras. One of the main results of this paper is to characterize the class of representable lEQ_Δ^s-algebras. We also supply a number of useful results, leading to this characterization.