On ``simple algorithmically undecidable fragments of elementary theory of an infinitely generated free semigroup
From MaRDI portal
Publication:5154924
zbMATH Open1477.03166MaRDI QIDQ5154924FDOQ5154924
A. I. Zetkina, V. G. Durnev, O. V. Zetkina
Publication date: 5 October 2021
Full work available at URL: http://mathnet.ru/eng/cheb952
Recommendations
- Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup
- scientific article; zbMATH DE number 3924767
- Undecidability of a simple fragment of a positive theory with a single constant for a free semigroup of rank two
- scientific article; zbMATH DE number 1748026
- scientific article; zbMATH DE number 4087622
Free semigroups, generators and relations, word problems (20M05) Undecidability and degrees of sets of sentences (03D35)
Cited In (9)
- 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?)
- Title not available (Why is that?)
- 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: On ``simple algorithmically undecidable fragments of elementary theory of an infinitely generated free semigroup
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5154924)
