|
|
|
|
References
|
|
| |
| 1. |
S. S. Goncharov, “Konstruktiviziruemost superatomnykh bulevykh algebr”, Algebra i logika, 12:1 (1973), 31–40 |
| 2. |
N. T. Kogabaev, “Universalnaya numeratsiya konstruktivnykh $I$-algebr”, Algebra i logika, 40:5 (2001), 561–579 |
| 3. |
R. R. Tukhbatullina, “Avtoustoichivost bulevoi algebry $\mathfrak B_\omega$, obogaschennoi avtomorfizmom”, Vestnik NGU. Ser. matem., mekh., inform., 10:3 (2010), 110–118 |
| 4. |
S. S. Goncharov, Schëtnye bulevy algebry i razreshimost, Sibirskaya shkola algebry i logiki, Nauchnaya kniga (NII MIOO NGU), Novosibirsk, 1996 |
| 5. |
S. S. Goncharov, Yu. L. Ershov, Konstruktivnye modeli, Sibirskaya shkola algebry i logiki, Nauchnaya kniga, Novosibirsk, 1999 |
| 6. |
C. J. Ash, J. F. Knight, Computable structures and the hyperarithmetical hierarchy, Stud. Logic Found. Math., 144, Elsevier Sci. B.V., Amsterdam etc., 2000 |
| 7. |
W. Calvert, D. Cenzer, V. Harizanov, A. Morozov, “Effective categoricity of equivalence structures”, Ann. Pure Appl. Logic, 141:1–2 (2006), 61–78 |
| 8. |
R. G. Downey, A. M. Kach, D. Turetsky, “Limitwise monotonic functions and their applications”, Proc. of the Eleventh Asian Logic Conf., 2011, 59–85 |
| 9. |
A. M. Kach, D. Turetsky, “Limitwise monotonic functions, sets and degrees on computable domains”, J. Symb. Log., 75:1 (2010), 131–154 |
| 10. |
K. Harris, “$\eta$-Representation of sets and degrees”, J. Symb. Log., 73:4 (2008), 1097–1121 |
| 11. |
A. M. Kach, “Computable shuffle sums of ordinals”, Arch. Math. Logic, 47:3 (2008), 211–219 |
| 12. |
I. Kalimullin, B. Khoussainov, A. Melnikov, “Limitwise monotonic sequences and degree spectra of structures”, Proc. Amer. Math. Soc. (to appear) |
| 13. |
J. F. Knight, “Degrees coded in jumps of orderings”, J. Symb. Log., 51:4 (1986), 1034–1042 |