Undecidability of a simple fragment of a positive theory with a single constant for a free semigroup of rank two
type: Item
instance of: scholarly article
title: Undecidability of a simple fragment of a positive theory with a single constant for a free semigroup of rank two
zbMATH Open document ID: 0970.03038
DOI: 10.1007/BF02686241
author: V. G. Durnev
published in: Mathematical Notes
publication date: 2001-05-17T00:00:00Z
review text: This paper is a note about the algorithmic nature of some simple fragments of positive theories with few constants for noncyclic semigroups. The authors prove 3 theorems and 4 corollaries on the undecidability of the positive theory with the constants \(a_1, a_2,\dots,a_{n-1}\) for the free semigroup of rank \(n\).
reviewed by: Daniela Marinescu
Mathematics Subject Classification ID: 03D35
Mathematics Subject Classification ID: 20M05
zbMATH DE Number: 1517697
zbMATH Keywords: undecidability
zbMATH Keywords: free semigroup
MaRDI profile type: Publication
cites work: Concatenation as a basis for arithmetic
cites work: Q3936708
cites work: Q4146913
cites work: Q4047699
cites work: Q3699681
cites work: Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup
full work available at URL: https://doi.org/10.1007/bf02686241
OpenAlex ID: W2074395181
Recommended article: On ``simple'' undecidable fragments of the positive theory of a free semigroup
Recommended article: Q5154924
Recommended article: Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup
Recommended article: Q4309578
Recommended article: Q3699681
Recommended article: DECIDABILITY OF THE UNIVERSAL AND POSITIVE THEORIES OF A FREE GROUP
Recommended article: Q3772199
Recommended article: Q4029321
Recommended article: Q3816046
Recommended article: Q4508453
description: scientific article; zbMATH DE number 1517697