Literature Cited
A. P. Bel'tyukov, "Decidability of the universal theory of the natural numbers with addition and divisibility," Zap. Nauchn. Sem. Leningr. Otd. Mat. Inst.,60, No. 7, 15–28 (1976).
G. T. Kozlov and A. I. Kokorin, "Elementary theory of torsion-free Abelian groups with a predicate distinguishing a subgroup," Algebra Logika,8, No. 3, 320–334 (1969).
Yu. V. Matiyasevich, "Enumerable sets are diophantine," Dokl. Akad. Nauk SSSR,191, No. 2, 279–282 (1970).
L. Lipshitz, "The diophantine problem for +, |," Preprint (1975).
Additional information
Translated from Algebra i Logika, Vol. 16, No. 5, pp. 588–602, September–October, 1977.
Rights and permissions
About this article
Cite this article
Mart'yanov, V.I. Extended universal theories of the integers. Algebra and Logic 16, 395–405 (1977). https://doi.org/10.1007/BF01669479
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01669479