Skip to main content
SpringerLink
Log in

Decidable fragments of universal theories and existentially closed models

  • 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

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Literature Cited

  1. B. H. Neumann, “The isomorphism problem for algebraically closed groups”, in: Word Problems, North-Holland, Amsterdam (1973), pp. 553–562.

    Google Scholar 

  2. A. Macintyre, “Omitting quantifier-free types in generic structures”, J. Symbolic Logic,37, 512–520 (1972).

    Google Scholar 

  3. W. W. Boone and G. Higman, “On algebraic characterization of groups with soluble word problem”, J. Austral. Math. Soc.,18, No. 1, 41–53 (1974).

    Google Scholar 

  4. O. V. Belegradek, “Algebraic equivalents of the solvability of group-theoretic algorithmic problems”, Sib. Mat. Zh.,20, No. 5, 253–263 (1979).

    Google Scholar 

  5. A. Macintyre, “On algebraically closed groups”, Ann. Math.,96, 53–97 (1972).

    Google Scholar 

  6. V. Ya. Belyaev, “On algebraically closed semigroups”, Sib. Mat. Zh.,18, No. 1, 32–39 (1977).

    Google Scholar 

  7. G. Higman, “Subgroups of finitely presented groups”, Proc. R. Soc. London, Ser. A,262, 455–475 (1961).

    Google Scholar 

  8. V. L. Murskii, “Isomorphic embeddability of a semigroup with an enumerable set of defining relations in a finitely presented semigroup”, Mat. Zametki,1, No. 2, 217–224 (1967).

    Google Scholar 

  9. A. A. Markov, “Impossibility of algorithms for recognizing certain properties of associative systems”, Dokl. Akad. Nauk SSSR,77, No. 6, 953–956 (1951).

    Google Scholar 

  10. S. I. Adyan, “Insolvability of some algorithmic problems of group theory”, Tr. Mosk. Mat. Obshch.,6, 231–298 (1957).

    Google Scholar 

  11. M. O. Rabin, “Recursive insolvability of group-theoretic problems”, Ann. Math.,67, No. 1, 172–194 (1958).

    Google Scholar 

  12. V. Ya. Belyaev, “Subrings of finitely presented associative rings”, Algebra Logika,17 No. 6, 627–638 (1978).

    Google Scholar 

  13. G. P. Kukin, “Subalgebras of recursively presented Lie algebras”, in: Eleventh All-Union Algebra Conference, Krasnoyarsk (1979), p. 81.

Download references

Authors
  1. O. V. Belegradek
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Kemerovo State University, Kemervo. Translated from Sibirskii Matematicheskii Zhurnal, Vol. 21, No. 6, pp. 196–201, November–December, 1980.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Belegradek, O.V. Decidable fragments of universal theories and existentially closed models. Sib Math J 21, 898–902 (1980). https://doi.org/10.1007/BF00968481

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation