О $\Delta^0_2$-категоричности булевых алгебр

Доказано, что для вычислимых булевых алгебр понятия $\Delta^0_2$-категоричности и относительной $\Delta^0_2$-категоричности совпадают. В частности, отсюда следует, что для любой тьюринговой степени $\mathbf{d}<\mathbf{0}'$ вычислимая булева алгебра $\mathbf{d}$-вычислимо категорична тогда и только тогда, когда она вычислимо категорична.