Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties (Q1119619)
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: Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties |
scientific article; zbMATH DE number 4097335
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties |
scientific article; zbMATH DE number 4097335 |
Statements
Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties (English)
0 references
1988
0 references
The main result of the paper is the following: The first order theory of the class of all finite algebras in a finitely generated arithmetical variety of finite type in which all subdirectly irreducible algebras have linearly ordered congruences, is decidable. The proof is based on a representation of finite algebras from such varieties by some quotients of special subdirect products in which sets of indices are partially ordered in dual trees.
0 references
reduced sub-powers
0 references
finite algebras
0 references
finitely generated arithmetical variety
0 references
subdirect products
0 references
0 references
0.89974856
0 references
0.88587296
0 references
0.8815658
0 references
0.8768269
0 references
0.8705083
0 references
0.8703289
0 references
0.8700007
0 references
0.86935675
0 references
