|
Sibirskii Matematicheskii Zhurnal, 2005, Volume 46, Number 4, Pages 928–941
(Mi smj1015)
|
|
|
|
This article is cited in 2 scientific papers (total in 2 papers)
The degree spectra of definable relations on Boolean algebras
P. M. Semukhin Novosibirsk State University, Mechanics and Mathematics Department
Abstract:
We study some questions concerning the structure of the spectra of the sets of atoms and atomless elements in a computable Boolean algebra. We prove that if the spectrum of the set of atoms contains a 1-low degree then it contains a computable degree. We show also that in a computable Boolean algebra of characteristic $(1,1,0)$ whose set of atoms is computable the spectrum of the atomless ideal consists of all $\Pi_2^0$ degrees.
Keywords:
Boolean algebras, computable models, spectra of relations.
Received: 16.07.2003 Revised: 27.04.2005
Citation:
P. M. Semukhin, “The degree spectra of definable relations on Boolean algebras”, Sibirsk. Mat. Zh., 46:4 (2005), 928–941; Siberian Math. J., 46:4 (2005), 740–750
Linking options:
https://www.mathnet.ru/eng/smj1015 https://www.mathnet.ru/eng/smj/v46/i4/p928
|
|