A modification of Polin's variety (Q5932480): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 00:35, 30 January 2024
scientific article; zbMATH DE number 1602886
Language | Label | Description | Also known as |
---|---|---|---|
English | A modification of Polin's variety |
scientific article; zbMATH DE number 1602886 |
Statements
A modification of Polin's variety (English)
0 references
10 June 2001
0 references
The authors construct a variety \(\mathcal V\) which consists of algebras created by replacing the elements of an (external) Boolean algebra by a family of distributive lattices having a largest element. They prove that \(\mathcal V\) is a locally finite variety which satisfies a simple congruence identity in three variables. Moreover, \(\mathcal V\) omits types 1 and 5 and contains a finite algebra which has a type 4 minimal set with a nonempty tail.
0 references
Polin's variety
0 references
congruence identity
0 references
tame congruence theory
0 references