Critical theories of varieties of semigroups satisfying a permutation identity (Q5932632)
From MaRDI portal
scientific article; zbMATH DE number 1603302
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Critical theories of varieties of semigroups satisfying a permutation identity |
scientific article; zbMATH DE number 1603302 |
Statements
Critical theories of varieties of semigroups satisfying a permutation identity (English)
0 references
10 June 2001
0 references
The author determines the possible decidability boundaries in some natural hierarchy of first-order languages for any finitely based variety of semigroups satisfying a permutation identity.
0 references
critical theory
0 references
decidable theory
0 references
hierarchy of languages
0 references
