2. |
R. I. Soare, Recursively enumerable sets and degrees. A study of computable functions and computably generated sets (Perspect. Math. Log., Omega Series), Berlin etc., Springer-Verlag, 1987. |
|
3. |
Р. И. Соар, Вычислимо перечислимые множества и степени. Изучение вычислимых функций и вычислимо перечислимых множеств, Казань, Казанское матем. об-во, 2000. |
|
4. |
А. С. Морозов, Перестановки и неявная определимость, Алгебра и логика, 27, № 1 (1988), 19-36. EDN: CYHPXT |
![]() |
5. |
И. Ш. Калимуллин, В. Г. Пузаренко, О сводимости на семействах, Алгебра и логика, 48, № 1 (2009), 31-53. EDN: KAJKCX |
![]() |
6. |
В. А. Руднев, О существовании неотделимой пары в рекурсивной теории допустимых множеств, Алгебра и логика, 27, N 1 (1988), 48-56. |
|
7. |
А. С. Морозов, В. Г. Пузаренко, О S-подмножествах натуральных чисел, Алгебра и логика, 43, № 3 (2004), 291-320. EDN: HRTEXJ |
![]() |
8. |
A. Montalban, Computable structure theory. Within the arithmetic (Perspect. Log.), Cambridge, Cambridge Univ. Press; Urbana, IL, Assoc. Symb. Log. (ASL), 2021. |
|
9. |
L. J. Richter, Degrees of structures, J. Symb. Log., 46, No. 4 (1981), 723-731. |
|
10. |
В. Г. Пузаренко, Об одной сводимости на допустимых множествах, Сиб. матем. ж., 50, № 2 (2009), 415-429. EDN: KXEYNF |
![]() |
11. |
V. Baleva, The jump operation for structure degrees, Arch. Math. Logic, 45, No. 3 (2006), 249-265. EDN: YHDEVY |
![]() |
12. |
A. Montalbaan, Notes on the jump of a structure, in: K. Ambos-Spies (ed.) et al., Mathematical theory and computational practice. 5th conf. on computability in Europe (CiE 2009, Heidelberg, Germany, July 19-24, 2009), Proc. (Lect. Notes Comput. Sci., 5635), Berlin, Springer-Verlag, 2009, 372-378. |
|
13. |
A. A. Soskova, I. N. Soskov, A jump inversion theorem for the degree spectra, J. Log.Comput., 19, No. 1 (2009), 199-215. EDN: GQNSZE |
![]() |
14. |
В. Г. Пузаренко, Неподвижные точки оператора скачка, Алгебра и логика, 50, № 5 (2011), 615-646. EDN: OJZXTT |
![]() |
15. |
Ю. Л. Ершов, Определимость и вычислимость (Сибирская школа алгебры и логики), Новосибирск, Науч. кн., М., Экономика, 2-е изд., испр. и доп., 2000. |
|
16. |
J. Barwise, Admissible sets and structures. An approach to definability theory (Perspec. Math. Log.), Reprint of the 1975 original published by Springer, Cambridge, Cambridge Univ. Press; Urbana, IL, Assoc. Symb. Log. (ASL), 2016. |
|
17. |
Yu. L. Ershov, V. G. Puzarenko, A. I. Stukachev, HF-Computability, in: S. B. Cooper (ed.), Computability in context.Computation and logic in the real world, London, World Scientific, 2011, 173-248. EDN: XFJDSB |
![]() |
18. |
G. Barmpalias, A. Nies, Upper bounds on ideals in the computably enumerable Turing degrees, Ann. Pure Appl. Logic, 162, No. 6 (2011), 465-473. |
|
19. |
A. Nies, Computability and randomness, (Oxf. Logic Guides, 51), Oxford, Oxford Univ. Press, 2009. |
|
20. |
A. Nies, Lowness properties and randomness, Adv. Math., 197, No. 1 (2005), 274-305. EDN: LTSCYF |
![]() |
21. |
K. M. Ng, On strongly jump traceable reals, Ann. Pure App. Logic, 154, No. 1 (2008), 51-69. |
|
22. |
D. Diamondstone, N. Greenberg, D. Turetsky, Inherent enumerability of strong jump-traceability, Trans. Am. Math. Soc., 367, No. 3 (2015), 1771-1796. |
|
23. |
S. Schwarz, Index sets related to prompt simplicity, Ann. Pure App. Logic, 42, No. 3 (1989), 243-254. |
|