On ``simple'' undecidable fragments of the positive theory of a free semigroup (Q2211367)
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: On ``simple undecidable fragments of the positive theory of a free semigroup |
scientific article; zbMATH DE number 7272821
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On ``simple'' undecidable fragments of the positive theory of a free semigroup |
scientific article; zbMATH DE number 7272821 |
Statements
On ``simple'' undecidable fragments of the positive theory of a free semigroup (English)
0 references
11 November 2020
0 references
positive formulas
0 references
free semigroups
0 references