Geodesic
Strong constructivizability of Boolean algebras of elementary characteristic $(\infty,0,0)$
Algebra i logika, Tome 53 (2014) no. 2, pp. 185-205.

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

We give a complete description of conditions of being strongly constructivizable for Boolean algebras of elementary characteristic $(\infty,0,0)$ in terms of being computable for a sequence of canonical Ershov–Tarski predicates on Boolean algebras.
Keywords: Boolean algebra, computable model, ideals of Boolean algebra. 
@article{AL_2014_53_2_a3,
     author = {M. N. Leontieva},
     title = {Strong constructivizability of {Boolean} algebras of elementary characteristic $(\infty,0,0)$},
     journal = {Algebra i logika},
     pages = {185--205},
     publisher = {mathdoc},
     volume = {53},
     number = {2},
     year = {2014},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2014_53_2_a3/}
}
TY  - JOUR
AU  - M. N. Leontieva
TI  - Strong constructivizability of Boolean algebras of elementary characteristic $(\infty,0,0)$
JO  - Algebra i logika
PY  - 2014
SP  - 185
EP  - 205
VL  - 53
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2014_53_2_a3/
LA  - ru
ID  - AL_2014_53_2_a3
ER  - 
%0 Journal Article
%A M. N. Leontieva
%T Strong constructivizability of Boolean algebras of elementary characteristic $(\infty,0,0)$
%J Algebra i logika
%D 2014
%P 185-205
%V 53
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2014_53_2_a3/
%G ru
%F AL_2014_53_2_a3
M. N. Leontieva. Strong constructivizability of Boolean algebras of elementary characteristic $(\infty,0,0)$. Algebra i logika, Tome 53 (2014) no. 2, pp. 185-205. http://geodesic.mathdoc.fr/item/AL_2014_53_2_a3/

[1] S. S. Goncharov, Schëtnye bulevy algebry i razreshimost, Sibirskaya shkola algebry i logiki, Nauchnaya kniga (NII MIOO NGU), Novosibirsk, 1996 | MR | Zbl

[2] J. D. Monk (ed.), Handbook of Boolean algebras, v. 1–3, North-Holland Publ. Co., Amsterdam etc., 1989 | Zbl

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

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

[5] S. S. Goncharov, “Nekotorye svoistva konstruktivizatsii bulevykh algebr”, Sib. matem. zh., 16:2 (1975), 264–278 | Zbl

[6] S. P. Odintsov, Ogranichennye teorii konstruktivnykh bulevykh algebr nizhnego sloya, Preprint No 21, In-t matem. SO AN SSSR, 1986

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

[8] P. E. Alaev, “Razreshimye bulevy algebry kharakteristiki (1,0,1)”, Matem. trudy, 7:1 (2004), 3–12 | MR | Zbl

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

[10] M. N. Leonteva, “Bulevy algebry elementarnoi kharakteristiki (1,0,1) s vychislimymi mnozhestvom atomov i idealom atomnykh elementov”, Vestn. Novosibirskogo gos. un-ta. Ser. matem., mekh., inform., 10:1 (2010), 65–69 | Zbl

[11] M. N. Leonteva, “Dostatochnye usloviya razreshimosti dlya bulevykh algebr”, Vestn. Novosibirskogo gos. un-ta. Ser. matem., mekh., inform., 11:4 (2011), 63–68 | Zbl

[12] M. N. Leonteva, “Bulevy algebry elementarnoi kharakteristiki (1,0,1) s vychislimymi mnozhestvom atomov i idealom Ershova–Tarskogo”, Algebra i logika, 50:2 (2011), 133–151 | MR | Zbl

[13] M. N. Leonteva, “Minimalnost nekotorykh uslovii razreshimosti dlya bulevykh algebr”, Sib. matem. zh., 53:1 (2012), 132–147 | MR

[14] M. N. Leonteva, “Suschestvovanie silno vychislimykh predstavlenii v klasse bulevykh algebr”, Doklady AN, 445:2 (2012), 132–134 | MR