RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 2005 Volume 46, Number 4, Pages 928–941 (Mi smj1015)

This article is cited 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.

UDC: 510.5, 512.563

Received: 16.07.2003
Revised: 27.04.2005


 English version:
Siberian Mathematical Journal, 2005, 46:4, 740–750

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024