|
|||||
|
|
Undecidability of a simple fragment of a positive theory with a single constant for a free semigroup of rank two |
|
| Authors: | V. G. Durnev |
| Affiliation: | (1) P. G. Demidov Yaroslavl State University, USSR |
| Abstract: | In the paper we study the algorithmic nature of some “simple” fragments of positive theories with “few” constants for free noncyclic semigroups. Translated fromMatematicheskie Zametki, Vol. 67, No. 2, pp. 191–200, February, 2000. |
| Keywords: | free semigroup positive theory undecidable problem quantifier prefix compatibility problem |
| 本文献已被 SpringerLink 等数据库收录！ | |