RUS  ENG
Full version
JOURNALS // Siberian Journal of Pure and Applied Mathematics // Archive

Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 2013 Volume 13, Issue 2, Pages 3–14 (Mi vngu137)

This article is cited in 5 papers

On $\Delta^0_2$-Categoricity of Boolean Algebras

N. A. Bazhenovab

a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
b Novosibirsk State University

Abstract: 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.

UDC: 510.5+510.6+512.563

Received: 23.07.2010



© Steklov Math. Inst. of RAS, 2024