On subtractive weak Brouwerian semilattices (Q1272152)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On subtractive weak Brouwerian semilattices |
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
weak Brouwerian semilattice
0 references
subtractive variety
0 references
ideal
0 references