RUS  ENG
Full version
JOURNALS // Siberian Journal of Pure and Applied Mathematics // Archive

Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 2010 Volume 10, Issue 1, Pages 65–69 (Mi vngu31)

This article is cited in 4 papers

Boolean Algebras of Elementary Characteristic $(1,0,1)$ with the Computable Set of Atoms and the Ideal of Atomic Elements

M. N. Leontyeva

Novosibirsk State University

Abstract: The problem considered in this paper is somehow more general then the investigation of relations between $n$-computability and decidability of Boolean algebra of elementary characteristic $(n,0,1)$ which is complete. In this paper we consider computable Boolean algebra of elementary characteristic $(1,0,1)$ with the computable set of atoms and the ideal of atomic elements. We prove that every such Boolean algebra has strongly computable isomorphic copy. We also generalize this result to Boolean algebras of elementary characteristics $(n,0,1)$.

Keywords: Boolean algebras, computable set, computable model, strongly computable model, $n$-computability, elementary charakteristic of Boolean algebra, Ershov–Tarski ideal, Frechet ideal.

UDC: 510.5+510.6+512.563

Received: 26.06.2009


 English version:
Journal of Mathematical Sciences, 2012, 186:3, 461–465


© Steklov Math. Inst. of RAS, 2024