Skip to main content
SpringerLink
Log in

Admissible sets in group theory

  • Published:
Algebra and Logic Aims and scope

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

References

  1. J. Barwise, “An introduction to first-order logic,” in:Handbook of Mathematical Logic, North-Holland, Amsterdam (1977), pp. 5–46.

    Google Scholar 

  2. V. Ya. Belyaev and M. A. Taitslin, “Elementary properties of existentially closed systems,”Usp. Mat. Nauk,34, No. 2, 39–94 (1979).

    Google Scholar 

  3. Yu. L. Ershov, “Dynamic logic over admissible sets,”Dokl. Akad. Nauk SSSR,273, No. 5, 792–795 (1983).

    Google Scholar 

  4. S. S. Goncharov and D. I. Sviridenko, “Σ-programming,”Vych. Sist., No. 107, Novosibirsk, 3–29 (1985).

  5. M. A. Taitslin, “Hierarchies of programming logics,”Sib. Mat. Zh.,24, No. 3, 184–192 (1983).

    Google Scholar 

  6. R. Lyndon and P. Schupp,Combinatorial Group Theory, Springer, New York (1977).

    Google Scholar 

  7. A. G. Myasnikov and V. N. Remeslennikov, “Elementary group equivalence with an integral length function,”Ill. J. Math.,30, No. 2, 335–354 (1986).

    Google Scholar 

  8. V. Huber-Dyson, “The undecidability of the theory of free groups with a length function,”Univ. Calgary, Math. Res., No. 221, 1–26 (1974).

  9. V. Huber-Dyson, “Talking about free groups in naturally enriched languages,”Commun. Algebra,5, No. 11, 1163–1191 (1977).

    Google Scholar 

  10. Lo Libo, “Theτ-theory for free groups is undecidable,”J. Symb. Log.,48, No. 3, 700–703 (1983).

    Google Scholar 

  11. J. Barwise,Admissible Sets and Structures, Springer, Berlin (1975).

    Google Scholar 

  12. M. Makkai, “Admissible sets and infinitary logic,” in:Handbook of Mathematical Logic, North-Holland, Amsterdam (1977), pp. 233–282.

    Google Scholar 

  13. A. I. Mal'tsev, “Model correspondences,” in:Mathematical Logic and General Theory of Algebraic Systems [in Russian], Nauka, Moscow (1976).

    Google Scholar 

  14. Yu. L. Ershov,Problems of Decidability and Constructive Models [in Russian], Nauka, Moscow (1980).

    Google Scholar 

  15. J. Stallings,Group Theory and Three Dimensional Manifolds, Yale University (1971).

  16. H. Rogers,Theory of Recursive Functions and Effective Computability, McGraw-Hill (1967).

  17. W. Magnus, A. Karras, and D. Solitar,Combinatorial Group Theory, Interscience (1966).

Download references

Authors
  1. A. G. Myasnikov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. V. N. Remeslennikov
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated fromAlgebra i Logika, Vol. 31, No. 4, pp. 413–433, July–August, 1992.

Translated by A. Myasnikov

Rights and permissions

Reprints and permissions

About this article

Cite this article

Myasnikov, A.G., Remeslennikov, V.N. Admissible sets in group theory. Algebr Logic 31, 248–261 (1992). https://doi.org/10.1007/BF02259934

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation