No label defined (Q3976917)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 14392
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 14392 |
Statements
25 June 1992
0 references
decision problem
0 references
equivalential algebras
0 references
Brouwerian semilattices
0 references
Boolean groups
0 references
reducts of algebras
0 references
0.8007516860961914
0 references
0.7997404336929321
0 references
0.797136664390564
0 references
0.7849369049072266
0 references
\(E\) be the class of equivalential algebras, \(BS\) be the variety of all Brouwerian semilattices, \(E_ 2\) be the variety of Boolean groups which is generated by the two-element group, \(V^ r\) be the class of all reducts of algebras from \(V\). It is stated that: I. For any subvariety \(V\) of \(E\) the following conditions are equivalent: (1) \(Th(V_{fin})\) is decidable, (2) \(Th(V_{fin})\) is not hereditarily undecidable, (3) \(V\subseteq E_ 2\). II. For any subvariety \(V\) of \(BS\) the following conditions are equivalent: (1) \(Th(V^ r_{fin})\) is decidable, (2) \(Th(V^ r_{fin})\) is not hereditarily undecidable, (3) \(V\) is generated by chains.
0 references
