Siberian Mathematical Journal

, Volume 29, Issue 1, pp 17–23 | Cite as

Critical theories

  • Yu. M. Vazhenin


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literature Cited

  1. 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. 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. 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. 4.
    Yu. L. Ershov, “Bounded theories of well-ordered sets,” Algebra Logik,7, No. 3, 38–47 (1968).Google Scholar
  5. 5.
    Yu. V. Matiyasevich, “Diophantineness of enumerable sets,” Dokl. AN SSSR,191, No. 2, 279–282 (1970).Google Scholar
  6. 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. 7.
    G. S. Makanin, “Equations in a free group,” Izv. AN SSSR, Ser. Mat.,46, No. 6, 1199–1273 (1982).Google Scholar
  8. 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. 9.
    L. Lowenheim, “Über Moglichkeiten in Relativkalkul,” Math. Ann.,76, 447–470 (1915).Google Scholar
  10. 10.
    A. Church, Introduction to Mathematical Logic [Russian translation], Part I, IL, Moscow (1960).Google Scholar
  11. 11.
    Yu. M. Vazhenin, “On critical theories,” in: The 7th All-Union Conference in Mathematical Logic. Proceedings [in Russian], Novosibirsk (1984), p. 27.Google Scholar
  12. 12.
    T. Skolem, Diophantische Gleichungen, Berlin (1938).Google Scholar

Copyright information

© Plenum Publishing Corporation 1988

Authors and Affiliations

  • Yu. M. Vazhenin

There are no affiliations available

Personalised recommendations