A modification of Polin's variety (Q5932480): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/s000120050112 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2045020079 / rank | |||
Normal rank | |||
Latest revision as of 21:34, 19 March 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
