Literature Cited
Yu. L. Ershov, “Undecidability of certain fields,” Dokl. Akad. Nauk SSSR,161, No. 1, 27–29 (1965).
M. A. Taitslin, “Elementary theories of lattices,” Algebra i Logika,9, No. 4, 473–483 (1970).
Yu. G. Penzin, “Decidability of integer theories with addition, order, and predicates identifying a chain of subgroups,” Proc. Eleventh All-Union Algebra Colloquium [in Russian], Kishinev (1971), p. 165.
Yu. G. Penzin, “Decidability of integer theories with addition, order, and multiplication by one arbitrary number,” Proc. Eleventh All-Union Algebra Colloquium [in Russian], Kishinev (1971).
J. Robinson, “Definability and decision problems in arithmetic,” J. Symbolic Logic,14, No. 2, 98–114 (1949).
R. Robinson “Undecidable rings,” Trans. Amer. Math. Soc.,70, 1, 137–159 (1951).
Additional information
Translated from Sibirskii Matematicheskii Zhurnal, Vol. 14, No. 5, pp. 1139–1143, September–October, 1973.
Rights and permissions
About this article
Cite this article
Penzin, Y.G. Decidability of certain theories of integers. Sib Math J 14, 796–799 (1973). https://doi.org/10.1007/BF00969917
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00969917