On ``simple undecidable fragments of the positive theory of a free semigroup

DOI10.1134/S1995080220090097MaRDI QIDQ2211367zbMATH OpenFDO

Authors V. G. Durnev, O. V. Zetkina, A. I. Zetkina

Publication date 11 November 2020

Published in Lobachevskii Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

free semigroupspositive formulas

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Free semigroups, generators and relations, word problems (20M05)

Cites work

• scientific article; zbMATH DE number 3924767 (Why is no real title available?)
• scientific article; zbMATH DE number 3752812 (Why is no real title available?)
• scientific article; zbMATH DE number 3462133 (Why is no real title available?)
• Concatenation as a basis for arithmetic
• THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
• Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup

Cited in

(5)

• DECIDABILITY OF THE UNIVERSAL AND POSITIVE THEORIES OF A FREE GROUP
• scientific article; zbMATH DE number 4087622 (Why is no real title available?)
• scientific article; zbMATH DE number 665292 (Why is no real title available?)
• scientific article; zbMATH DE number 665291 (Why is no real title available?)
• Undecidability of a simple fragment of a positive theory with a single constant for a free semigroup of rank two

This page was built for publication: On ``simple undecidable fragments of the positive theory of a free semigroup

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2211367)