scientific article
From MaRDI portal
Publication:4047699
zbMath0295.20002MaRDI QIDQ4047699
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Free semigroups, generators and relations, word problems (20M05) Classical first-order logic (03B10) Metamathematical considerations in group theory (20A10)
Related Items (11)
On equations in free semigroups with certain constraints on their solutions. ⋮ On some algorithmic problems for groups and monoids ⋮ On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups ⋮ Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup ⋮ Unnamed Item ⋮ Positive theories of free inverse semigroups ⋮ On equations in free monoids and semigroups with restrictions on solutions ⋮ On ``simple undecidable fragments of the positive theory of a free semigroup ⋮ Frontier between decidability and undecidability: A survey ⋮ Undecidability of a simple fragment of a positive theory with a single constant for a free semigroup of rank two ⋮ \(\forall \exists^{5}\)-equational theory of context unification is undecidable
This page was built for publication:
