scientific article; zbMATH DE number 3462133
From MaRDI portal
Publication:4047699
zbMATH Open0295.20002MaRDI QIDQ4047699FDOQ4047699
Authors: V. G. Durnev 
Publication date: 1973
Title of this publication is not available (Why is that?)
Classical first-order logic (03B10) Free semigroups, generators and relations, word problems (20M05) Metamathematical considerations in group theory (20A10)
Cited In (11)
- Title not available (Why is that?)
- \(\forall \exists^{5}\)-equational theory of context unification is undecidable
- On ``simple undecidable fragments of the positive theory of a free semigroup
- On equations in free semigroups with certain constraints on their solutions.
- Frontier between decidability and undecidability: A survey
- Positive theories of free inverse semigroups
- On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups
- On some algorithmic problems for groups and monoids
- On equations in free monoids and semigroups with restrictions on solutions
- Undecidability of a simple fragment of a positive theory with a single constant for a free semigroup of rank two
- Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4047699)
