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

DOI10.1134/S1995080220090097zbMATH Open1486.03064MaRDI QIDQ2211367FDOQ2211367

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

• THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
• Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup
• Concatenation as a basis for arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• DECIDABILITY OF THE UNIVERSAL AND POSITIVE THEORIES OF A FREE GROUP
• 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

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)