Literature Cited
Yu. L. Ershov, I. A. Lavrov, A. D. Taimanov, and M. A. Taitslin, “Elementary theories,” Usp. Mat. Nauk,20, No. 4, 37–108 (1965).
A. I. Mal'tsev, “On some boundary questions of algebra and logic,” in: Proceeding of the International Congress of Mathematicians [Russian translation], Mir, Moscow (1968), pp. 217–231.
A. I. Kokorin and A. G. Pinus, “Problems of decidability of extended theories,” Usp. Mat. Nauk,33, No. 2, 49–84 (1978).
Yu. L. Ershov, “Bounded theories of well-ordered sets,” Algebra Logik,7, No. 3, 38–47 (1968).
Yu. V. Matiyasevich, “Diophantineness of enumerable sets,” Dokl. AN SSSR,191, No. 2, 279–282 (1970).
G. S. Makanin, “The problem of solvability of equations in a free semigroup,” Mat. Sb.,103, No. 2, 147–236 (1977).
G. S. Makanin, “Equations in a free group,” Izv. AN SSSR, Ser. Mat.,46, No. 6, 1199–1273 (1982).
G. S. Makanin, “Decidability of the universal and positive theory of a free group,” Izv. AN SSSR, Ser. Mat.,48, No. 4, 735–749 (1984).
L. Lowenheim, “Über Moglichkeiten in Relativkalkul,” Math. Ann.,76, 447–470 (1915).
A. Church, Introduction to Mathematical Logic [Russian translation], Part I, IL, Moscow (1960).
Yu. M. Vazhenin, “On critical theories,” in: The 7th All-Union Conference in Mathematical Logic. Proceedings [in Russian], Novosibirsk (1984), p. 27.
T. Skolem, Diophantische Gleichungen, Berlin (1938).
Additional information
Sverdlovsk. Translated from Sibirskii Matematicheskii Zhurnal, Vol. 29, No. 1, pp. 23–31, January–February, 1988.
Rights and permissions
About this article
Cite this article
Vazhenin, Y.M. Critical theories. Sib Math J 29, 17–23 (1988). https://doi.org/10.1007/BF00975011
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00975011