On subtractive weak Brouwerian semilattices (Q1272152)

From MaRDI portal





scientific article
Language Label Description Also known as
English
On subtractive weak Brouwerian semilattices
scientific article

    Statements

    On subtractive weak Brouwerian semilattices (English)
    0 references
    23 November 1998
    0 references
    A variety \(\mathcal V\) is subtractive if there is a binary term \(b(x,y)\) such that \(b(x,x) = 1\) and \(b(1,x) = x\) hold in \(\mathcal V\). A WBSO variety is a variety of weak Brouwerian semilattices with filter preserving operations. Every WBSO variety \(\mathcal V\) has a binary term \(\rightarrow \) which satisfies the identities \(x\rightarrow x =1\), \(x\rightarrow 1 =1\) and the quasiidentity \(1\rightarrow x = 1\Rightarrow x =1\). If, moreover, \(\mathcal V\) satisfies \(1\rightarrow x = x\), then \(\mathcal V\) is called a WBSO\(^{\#}\) variety. The main result: For a variety \(\mathcal V\) with 1, the following are equivalent: (1) \(\mathcal V\) is a subtractive WBSO variety; (2) \(\mathcal V\) is a WBSO\(^{\#}\) variety. The author constructs an example showing that the class of WBSO\(^{\#}\) varieties is strictly larger then the class of congruence permutable WBSO varieties.
    0 references
    0 references
    weak Brouwerian semilattice
    0 references
    subtractive variety
    0 references
    ideal
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references