scientific article; zbMATH DE number 1748026

MaRDI QIDQ4530222zbMATH OpenFDO

Authors V. G. Durnev

Publication date 30 May 2002

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)

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

Cited in

(8)

• scientific article; zbMATH DE number 4181317 (Why is no real title available?)
• scientific article; zbMATH DE number 7120897 (Why is no real title available?)
• scientific article; zbMATH DE number 3946109 (Why is no real title available?)
• scientific article; zbMATH DE number 3934999 (Why is no real title available?)
• Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup
• On ``simple algorithmically undecidable fragments of elementary theory of an infinitely generated free semigroup
• scientific article; zbMATH DE number 3924767 (Why is no real title available?)
• scientific article; zbMATH DE number 4087622 (Why is no real title available?)

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)