scientific article; zbMATH DE number 1748026

zbMATH Open0997.03005MaRDI QIDQ4530222FDOQ4530222

V. G. Durnev

Publication date: 30 May 2002

Title of this publication is not available (Why is that?)

Recommendations

• Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup
• scientific article; zbMATH DE number 3924767
• scientific article; zbMATH DE number 1114333
• Publication:4890617
• On ``simple algorithmically undecidable fragments of elementary theory of an infinitely generated free semigroup

zbMATH Keywords

decidabilityfree semigroupequation over a free semigroupfragment of the theory of a free semigroup

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Decidability of theories and sets of sentences (03B25) Free semigroups, generators and relations, word problems (20M05) Undecidability and degrees of sets of sentences (03D35)

Cited In (7)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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 Q4530222)