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

Algebra Logika, 2011 Volume 50, Number 2, Pages 133–151 (Mi al478)

This article is cited in 4 papers

Boolean algebras of elementary characteristic (1,0,1) whose set of atoms and Ershov–Tarski ideal are computable

M. N. Leontieva

Novosibirsk State University, Novosibirsk, Russia

Abstract: It is proved that there exists a computable Boolean algebra of elementary characteristics (1,0,1) which has a computable set of atoms and a computable Ershov–Tarski ideal, but no strongly computable isomorphic copy. Also a description of $\Delta^0_6$-computable Boolean algebras is presented.

Keywords: Boolean algebra, computability, computable model.

UDC: 510.5+510.6+512.563

Received: 23.10.2009
Revised: 07.06.2010


 English version:
Algebra and Logic, 2011, 50:2, 93–105

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024