RUS  ENG
Full version
JOURNALS // Algebra i logika

Algebra Logika, 2012, Volume 51, Number 5, Pages 579–607 (Mi al552)

Constructivizability of the Boolean algebra $\mathfrak B(\omega)$ with a distinguished automorphism
N. A. Bazhenov, R. R. Tukhbatullina

References

1. S. S. Goncharov, “Konstruktiviziruemost superatomnykh bulevykh algebr”, Algebra i logika, 12:1 (1973), 31–40  mathnet  zmath
2. N. T. Kogabaev, “Universalnaya numeratsiya konstruktivnykh $I$-algebr”, Algebra i logika, 40:5 (2001), 561–579  mathnet  mathscinet  zmath
3. R. R. Tukhbatullina, “Avtoustoichivost bulevoi algebry $\mathfrak B_\omega$, obogaschennoi avtomorfizmom”, Vestnik NGU. Ser. matem., mekh., inform., 10:3 (2010), 110–118  zmath
4. S. S. Goncharov, Schëtnye bulevy algebry i razreshimost, Sibirskaya shkola algebry i logiki, Nauchnaya kniga (NII MIOO NGU), Novosibirsk, 1996  mathscinet  zmath
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  mathscinet  zmath
7. W. Calvert, D. Cenzer, V. Harizanov, A. Morozov, “Effective categoricity of equivalence structures”, Ann. Pure Appl. Logic, 141:1–2 (2006), 61–78  crossref  mathscinet  zmath  isi
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  mathscinet
9. A. M. Kach, D. Turetsky, “Limitwise monotonic functions, sets and degrees on computable domains”, J. Symb. Log., 75:1 (2010), 131–154  crossref  mathscinet  zmath  isi
10. K. Harris, “$\eta$-Representation of sets and degrees”, J. Symb. Log., 73:4 (2008), 1097–1121  crossref  mathscinet  zmath  isi
11. A. M. Kach, “Computable shuffle sums of ordinals”, Arch. Math. Logic, 47:3 (2008), 211–219  crossref  mathscinet  zmath  isi
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  crossref  mathscinet  zmath  isi


© Steklov Math. Inst. of RAS, 2026