On $\Delta^0_2$-Categoricity of Boolean Algebras
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 13 (2013) no. 2, pp. 3-14
Voir la notice de l'article provenant de la source Math-Net.Ru
We prove that the notions of $\Delta^0_2$-categoricity and relative $\Delta^0_2$-categoricity in Boolean algebras coincide. As a corollary, we obtain that for every Turing degree $\mathbf{d}\mathbf{0}'$ a computable Boolean algebra is $\mathbf{d}$-computably categorical if and only if it is computably categorical.
Keywords:
Boolean algebra, $\Delta^{0}_{2}$-categoricity, computable categoricity.
@article{VNGU_2013_13_2_a0,
author = {N. A. Bazhenov},
title = {On $\Delta^0_2${-Categoricity} of {Boolean} {Algebras}},
journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
pages = {3--14},
publisher = {mathdoc},
volume = {13},
number = {2},
year = {2013},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VNGU_2013_13_2_a0/}
}
N. A. Bazhenov. On $\Delta^0_2$-Categoricity of Boolean Algebras. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 13 (2013) no. 2, pp. 3-14. http://geodesic.mathdoc.fr/item/VNGU_2013_13_2_a0/