Geodesic
Boolean Algebras of Elementary Characteristic $(1,0,1)$ with the Computable Set of Atoms and the Ideal of Atomic Elements
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 10 (2010) no. 1, pp. 65-69

Voir la notice de l'article provenant de la source Math-Net.Ru

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. 
@article{VNGU_2010_10_1_a4,
     author = {M. N. Leontyeva},
     title = {Boolean {Algebras} of {Elementary} {Characteristic} $(1,0,1)$ with the {Computable} {Set} of {Atoms} and the {Ideal} of {Atomic} {Elements}},
     journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
     pages = {65--69},
     publisher = {mathdoc},
     volume = {10},
     number = {1},
     year = {2010},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VNGU_2010_10_1_a4/}
}
TY  - JOUR
AU  - M. N. Leontyeva
TI  - Boolean Algebras of Elementary Characteristic $(1,0,1)$ with the Computable Set of Atoms and the Ideal of Atomic Elements
JO  - Sibirskij žurnal čistoj i prikladnoj matematiki
PY  - 2010
SP  - 65
EP  - 69
VL  - 10
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VNGU_2010_10_1_a4/
LA  - ru
ID  - VNGU_2010_10_1_a4
ER  - 
%0 Journal Article
%A M. N. Leontyeva
%T Boolean Algebras of Elementary Characteristic $(1,0,1)$ with the Computable Set of Atoms and the Ideal of Atomic Elements
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2010
%P 65-69
%V 10
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VNGU_2010_10_1_a4/
%G ru
%F VNGU_2010_10_1_a4
M. N. Leontyeva. Boolean Algebras of Elementary Characteristic $(1,0,1)$ with the Computable Set of Atoms and the Ideal of Atomic Elements. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 10 (2010) no. 1, pp. 65-69. http://geodesic.mathdoc.fr/item/VNGU_2010_10_1_a4/