scientific article; zbMATH DE number 3462133

MaRDI QIDQ4047699zbMATH OpenFDO

Authors V. G. Durnev

Publication date 1973

Mathematics Subject Classification ID

Classical first-order logic (03B10) Free semigroups, generators and relations, word problems (20M05) Metamathematical considerations in group theory (20A10)

Cited in

(11)

• \(\forall \exists^{5}\)-equational theory of context unification is undecidable
• scientific article; zbMATH DE number 7120897 (Why is no real title available?)
• 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)