Some decidable theories with finitely many covers which are decidable and algorithmically found (Q4318107)
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: Some decidable theories with finitely many covers which are decidable and algorithmically found |
scientific article; zbMATH DE number 706717
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Some decidable theories with finitely many covers which are decidable and algorithmically found |
scientific article; zbMATH DE number 706717 |
Statements
Some decidable theories with finitely many covers which are decidable and algorithmically found (English)
0 references
24 August 1995
0 references
algebraic language
0 references
finite basis
0 references
decidability
0 references
recursive first-order language
0 references
lattice of equational theories
0 references
covers
0 references
