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

DOI10.1134/S1995080220090097zbMath1486.03064MaRDI QIDQ2211367

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

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup
• THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
• Concatenation as a basis for arithmetic

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