Advertisement

Doklady Mathematics

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

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

  • S. S. Goncharov
  • M. I. Marchuk
Mathematics

Keywords

Computable Model Constructive Model Putable Model Binary Predicate Algebra 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.

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).zbMATHGoogle 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).zbMATHMathSciNetGoogle 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).zbMATHGoogle Scholar
  10. 10.
    N. A. Bazhenov, Vestn. Novosibirsk. Gos. Univ., Ser. Mat. Mekh. Inf. 13(2), 3–14 (2013).zbMATHMathSciNetGoogle 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).zbMATHGoogle 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