RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra Logika, 2003 Volume 42, Number 2, Pages 182–193 (Mi al24)

This article is cited in 10 papers

Degree Spectra of Relations on Boolean Algebras

S. S. Goncharova, R. Downeyb, D. Hirschfeldtc

a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
b Victoria University of Wellington, School of Mathematics, Statistics and Computer Science
c University of Chicago

Abstract: We show that every computable relation on a computable Boolean algebra $\mathfrak B$ is either definable by a quantifier-free formula with constants from $\mathfrak B$ (in which case it is obviously intrinsically computable) or has infinite degree spectrum.

Keywords: computable Boolean algebra, computable relation, intrinsically computable relation.

UDC: 510.5+512.563

Received: 21.11.2000


 English version:
Algebra and Logic, 2003, 42:2, 105–111

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024