|
Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya Matematika, Mekhanika, Informatika, 2013, Volume 13, Issue 2, Pages 3–14
(Mi vngu137)
|
|
|
|
This article is cited in 5 scientific papers (total 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.
Received: 23.07.2010
Citation:
N. A. Bazhenov, “On $\Delta^0_2$-Categoricity of Boolean Algebras”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 13:2 (2013), 3–14
Linking options:
https://www.mathnet.ru/eng/vngu137 https://www.mathnet.ru/eng/vngu/v13/i2/p3
|
Statistics & downloads: |
Abstract page: | 227 | Full-text PDF : | 51 | References: | 48 | First page: | 10 |
|