Undecidability of a simple fragment of a positive theory with a single constant for a free semigroup of rank two

DOI10.1007/BF02686241zbMath0970.03038OpenAlexW2074395181MaRDI QIDQ1582961

V. G. Durnev

Publication date: 17 May 2001

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02686241

zbMATH Keywords

undecidabilityfree semigroup

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Undecidability and degrees of sets of sentences (03D35)

Related Items (1)

Unnamed Item

Cites Work

• Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup
• Concatenation as a basis for arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Undecidability of a simple fragment of a positive theory with a single constant for a free semigroup of rank two