Literature Cited
V. F. Kostyrko, “Undecidability of the elementary E-theory of groupoids,” in: Theoretical Cybernetics [in Russian], Kiev (1971), pp. 41–47.
J. S. Denton, “A reduction class with a single binary predicate,” Notices Am. Math. Soc.,10, 124 (1963).
Additional information
Translated from Kibernetika, No. 5, pp. 8–11, September–October, 1981.
Rights and permissions
About this article
Cite this article
Kostyrko, V.F. On elementary ∃-theory of semigroups. Cybern Syst Anal 17, 578–582 (1981). https://doi.org/10.1007/BF01068774
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01068774