scientific article

zbMath0472.20020MaRDI QIDQ3926793

Bella V. Rozenblat, Yu. M. Vazhenin

Publication date: 1981

Full work available at URL: https://eudml.org/doc/71302

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

free countably generated semigrouppositive theory of semigroups

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Decidability of theories and sets of sentences (03B25)

Related Items

The decision problem for some logics for finite words on infinite alphabets ⋮ On equations in free semigroups with certain constraints on their solutions. ⋮ Algorithmic problems and hierarchies of first-order languages ⋮ On equations in free monoids and semigroups with restrictions on solutions ⋮ Positive indistinguishability of algebraic systems, and completeness of positive theories ⋮ On positive and critical theories of some classes of rings ⋮ Positive theories of free monoids