Advertisement

Algebra and Logic

, Volume 23, Issue 3, pp 220–233 | Cite as

Connection between constructivizibility and strong constructivizibility for different classes of abelian groups

  • N. G. Khisamiev
Article

Keywords

Abelian Group Mathematical Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literature cited

  1. 1.
    Yu. L. Ershov, Solvability Problems and Constructive Models [in Russian], Nauka, Moscow (1980).Google Scholar
  2. 2.
    M. I. Kargapolov and Yu. I. Merzylakov, Foundations of Group Theory [in Russian], 3rd ed., Nauka, Moscow (1982).Google Scholar
  3. 3.
    A. I. Mal'tsev, Algorithms and Recursive Functions [in Russian], Nauka, Moscow (1965).Google Scholar
  4. 4.
    H. Rogers, Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).Google Scholar
  5. 5.
    L. Fuchs, Infinite Abelian Groups, Vol. 1, Academic Press, New York-London (1970).Google Scholar
  6. 6.
    A. I. Mal'tsev, "On recursive Abelian groups," Dokl. Akad. Nauk SSSR,146, No. 5, 1009–1012 (1962).Google Scholar
  7. 7.
    S. S. Goncharov, "Constructivizible superatomic Boolean algebras," Algebra Logika,12, No. 1, 31–40 (1973).Google Scholar
  8. 8.
    S. S. Goncharov, "Some properties of constructivizations of Boolean algebras," Sib. Mat. Zh.,16, No. 1, 264–278 (1975).Google Scholar
  9. 9.
    V. P. Dobritsa, "Some constructivizations of Abelian groups," Sib. Mat. Zh.,24, No. 2, 18–25 (1983).Google Scholar
  10. 10.
    N. G. Khisamiev, "Strongly constructive Abelian P - groups," Algebra Logika,22, No. 2, 198–217 (1983).Google Scholar
  11. 11.
    K. T. Abdrazakov and N. G. Khisamiev, "A criterion for strong constructivizibility of a class of Abelian p-groups," Sib. Mat. Zh.,25, No. 4, 3–8 (1984).Google Scholar
  12. 12.
    N. G. Khisamiev, "On strongly constructive models of a solvable theory," Izv. Akad. Nauk KazSSR, Ser. Fiz.-Mat., No. 1, 83–84 (1974).Google Scholar
  13. 13.
    N. G. Khisamiev, "Constructivizibility and strong constructivizibility of Abelian groups," 6th All-Union Conf. on Math. Logic, Tbilisi (1982), pp. 197–198.Google Scholar
  14. 14.
    L. Harrington, "Recursively presented prime models," J. Symb. Logic,39, No. 2, 305–309 (1974).Google Scholar

Copyright information

© Plenum Publishing Corporation 1985

Authors and Affiliations

  • N. G. Khisamiev

There are no affiliations available

Personalised recommendations