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 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

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},
     year = {2010},
     volume = {10},
     number = {1},
     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
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
%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/

[1] Alaev P. E., “Silno konstruktivnye bulevy algebry”, Algebra i logika, 7:1 (2005), 3–23 | MR

[2] Vlasov V. N., “Konstruktiviziruemost bulevykh algebr elementarnoi kharakteristiki $(1, 0, 1)$”, Algebra i logika, 37:5 (1998), 499–521 | MR | Zbl

[3] Goncharov S. S., Schetnye bulevy algebry i razreshimost, Nauchnaya kniga (NII MIOO NGU), Novosibirsk, 1996 | MR

[4] Goncharov S. S., “Ogranichennye teorii konstruktivnykh bulevykh algebr”, Sib. mat. zhurn., 17:4 (1976), 797–812 | MR | Zbl

[5] Rodzhers Kh., Teoriya rekursivnykh funktsii i effektivnaya vychislimost, Mir, M., 1972 | MR

[6] Ershov Yu. L., “Razreshimost elementarnoi teorii distributivnykh struktur s otnositelnymi dopolneniyami i teorii filtrov”, Algebra i logika, 3:3 (1964), 17–38 | MR | Zbl

[7] Leonteva M. N., “Bulevy algebry elementarnoi kharakteristiki $(1,0,1)$ s vychislimymi mnozhestvom atomov i idealom Ershova–Tarskogo”, Algebra i logika, 2010 (to appear)