Products of finitely based varieties of Brouwerian semilattices (Q797602): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Dorel Lucanu / rank | |||
Property / reviewed by | |||
Property / reviewed by: Dorel Lucanu / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finite equational bases for finite algebras in a congruence-distributive equational class / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Semigroup of Varieties of Brouwerian Semilattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Implicative Semi-Lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Varieties of implicative semi-lattices. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An algebraic approach to non-classical logics / rank | |||
Normal rank |
Latest revision as of 13:38, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Products of finitely based varieties of Brouwerian semilattices |
scientific article |
Statements
Products of finitely based varieties of Brouwerian semilattices (English)
0 references
1984
0 references
The paper is concerned with the problem whether the finitely based subvarieties form a subsemigroup of the semigroup of varieties of Brouwerian semilattices. The main theorem of this paper claims that if U and V are two finitely based subvarieties of Brouwerian semilattices then the product variety \(U\circ V\) is finitely based too. Although the proof is not constructive it is elegant and uses the fact that a variety V of Brouwerian semilattices is finitely based iff there exist up to isomorphism only finitely many V-critical Brouwerian semilattices.
0 references
finitely based subvarieties
0 references
varieties of Brouwerian semilattices
0 references
0 references