Geodesic
Degrees of autostability relative to strong constructivizations for Boolean algebras
Algebra i logika, Tome 55 (2016) no. 2, pp. 133-155

Voir la notice de l'article provenant de la source Math-Net.Ru

It is proved that for every computable ordinal $\alpha$, the Turing degree $\mathbf0^{(\alpha)}$ is a degree of autostability of some computable Boolean algebra and is also a degree of autostability relative to strong constructivizations for some decidable Boolean algebra. It is shown that a Harrison Boolean algebra has no degree of autostability relative to strong constructivizations. It is stated that the index set of decidable Boolean algebras having degree of autostability relative to strong constuctivizations is $\Pi^1_1$–complete.
Keywords: autostability, Boolean algebra, autostability relative to strong constructivizations, degree of autostability, degree of categoricity, index set. 
@article{AL_2016_55_2_a0,
     author = {N. A. Bazhenov},
     title = {Degrees of autostability relative to strong constructivizations for {Boolean} algebras},
     journal = {Algebra i logika},
     pages = {133--155},
     publisher = {mathdoc},
     volume = {55},
     number = {2},
     year = {2016},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2016_55_2_a0/}
}
TY  - JOUR
AU  - N. A. Bazhenov
TI  - Degrees of autostability relative to strong constructivizations for Boolean algebras
JO  - Algebra i logika
PY  - 2016
SP  - 133
EP  - 155
VL  - 55
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2016_55_2_a0/
LA  - ru
ID  - AL_2016_55_2_a0
ER  - 
%0 Journal Article
%A N. A. Bazhenov
%T Degrees of autostability relative to strong constructivizations for Boolean algebras
%J Algebra i logika
%D 2016
%P 133-155
%V 55
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2016_55_2_a0/
%G ru
%F AL_2016_55_2_a0
N. A. Bazhenov. Degrees of autostability relative to strong constructivizations for Boolean algebras. Algebra i logika, Tome 55 (2016) no. 2, pp. 133-155. http://geodesic.mathdoc.fr/item/AL_2016_55_2_a0/