Doklady Mathematics

, Volume 91, Issue 2, pp 158–159 | Cite as

Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations

Mathematics

References

  1. 1.
    Y. L. Ershov and S. S. Goncharov, Constructive Models: Siberian School of Algebra and Logic (Consultants Bureau, New York, 2000).CrossRefGoogle Scholar
  2. 2.
    C. J. Ash and J. F. Khight, Computable Structures and the Hyperarithmetical Hierarchy (Elsevier Sci., London, 2000).MATHGoogle Scholar
  3. 3.
    S. S. Goncharov and J. Knight, Algebra Logic 41(6), 351–373 (2002).MathSciNetGoogle Scholar
  4. 4.
    S. S. Goncharov, Computability and Computable Models, Mathematical Problems from Applied Logic (Springer, New York, 2007), pp. 99–216.Google Scholar
  5. 5.
    S. S. Goncharov, Vestn. Novosoborsk. Gos. Univ., Ser. Mat. Mekh. Inf. 13(3), 38–52 (2013).MATHMathSciNetGoogle Scholar
  6. 6.
    E. B. Fokina, Sib. Math. J. 48(5), 939–948 (2007).MathSciNetGoogle Scholar
  7. 7.
    E. N. Pavlovskii, Sib. Math. J. 49(3), 512–523 (2008).MathSciNetGoogle Scholar
  8. 8.
    E. N. Pavlovskii, Sib. Elektron. Mat. Izv. 5, 200–210 (2008).MathSciNetGoogle Scholar
  9. 9.
    N. A. Bazhenov, Vestn. Novosibirsk. Gos. Univ., Ser. Mat. Mekh. Inform. 12(3), 35–45 (2012).MATHGoogle Scholar
  10. 10.
    N. A. Bazhenov, Vestn. Novosibirsk. Gos. Univ., Ser. Mat. Mekh. Inf. 13(2), 3–14 (2013).MATHMathSciNetGoogle Scholar
  11. 11.
    S. S. Goncharov and M. I. Marchuk, Vestn. Novosibirsk. Gos. Univ., Ser. Mat. Mekh. Inf. 13(4), 43–67 (2013).Google Scholar
  12. 12.
    S. S. Goncharov, Algebra Logic 19(6), 401–414 (1981).MATHGoogle Scholar

Copyright information

© Pleiades Publishing, Ltd. 2015

Authors and Affiliations

  1. 1.Sobolev Institute of Mathematics, Siberian BranchRussian Academy of SciencesNovosibirskRussia
  2. 2.Novosibirsk State UniversityNovosibirskRussia

Personalised recommendations