Literature cited
N. A. Peryazev, “On the positive indistinguishability of algebraic systems,” in: 17th All-Union Algebraic Conference, Part 2, Minsk (1983), p. 180.
A. D. Taimanov and Yu. I. Khmelevskii, “The decidability of the universal theory of a free semigroup,” Sib. Mat. Zh.,21, No. 1, 228–230 (1980).
G. S. Makanin, “The problem of the solubility of equations in a free semigroup,” Mat. Sb., Nov. Ser.,103, No. 2, 147–236 (1977).
Yu. M. Vazhenin and B. V. Rozenblat, “The decidability of a positive theory of a free countably generated semigroup,” Mat. Sb.,116, 120–127 (1981).
Author information
Authors and Affiliations
Additional information
Translated from Matematicheskie Zametki, Vol. 38, No. 2, pp. 208–217, August, 1985.
The author is grateful to A. I. Kokorin for his attention to this paper.
Rights and permissions
About this article
Cite this article
Peryazev, N.A. Positive indistinguishability of algebraic systems, and completeness of positive theories. Mathematical Notes of the Academy of Sciences of the USSR 38, 626–630 (1985). https://doi.org/10.1007/BF01156241
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01156241