Skip to main content
Log in

Critical theories

  • Published:
Siberian Mathematical Journal Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Literature Cited

  1. Yu. L. Ershov, I. A. Lavrov, A. D. Taimanov, and M. A. Taitslin, “Elementary theories,” Usp. Mat. Nauk,20, No. 4, 37–108 (1965).

    Google Scholar 

  2. 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.

    Google Scholar 

  3. A. I. Kokorin and A. G. Pinus, “Problems of decidability of extended theories,” Usp. Mat. Nauk,33, No. 2, 49–84 (1978).

    Google Scholar 

  4. Yu. L. Ershov, “Bounded theories of well-ordered sets,” Algebra Logik,7, No. 3, 38–47 (1968).

    Google Scholar 

  5. Yu. V. Matiyasevich, “Diophantineness of enumerable sets,” Dokl. AN SSSR,191, No. 2, 279–282 (1970).

    Google Scholar 

  6. G. S. Makanin, “The problem of solvability of equations in a free semigroup,” Mat. Sb.,103, No. 2, 147–236 (1977).

    Google Scholar 

  7. G. S. Makanin, “Equations in a free group,” Izv. AN SSSR, Ser. Mat.,46, No. 6, 1199–1273 (1982).

    Google Scholar 

  8. 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).

    Google Scholar 

  9. L. Lowenheim, “Über Moglichkeiten in Relativkalkul,” Math. Ann.,76, 447–470 (1915).

    Google Scholar 

  10. A. Church, Introduction to Mathematical Logic [Russian translation], Part I, IL, Moscow (1960).

    Google Scholar 

  11. Yu. M. Vazhenin, “On critical theories,” in: The 7th All-Union Conference in Mathematical Logic. Proceedings [in Russian], Novosibirsk (1984), p. 27.

  12. T. Skolem, Diophantische Gleichungen, Berlin (1938).

Download references

Authors

Additional information

Sverdlovsk. Translated from Sibirskii Matematicheskii Zhurnal, Vol. 29, No. 1, pp. 23–31, January–February, 1988.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00975011

Navigation